diff --git a/pages/aboutus/index.js b/pages/aboutus/index.js index d86eddf..cd2178d 100644 --- a/pages/aboutus/index.js +++ b/pages/aboutus/index.js @@ -1,7 +1,5 @@ import ResponsiveAppBar from "../../components/widgets/ResponsiveAppBar"; - -//UI Components import { createTheme, ThemeProvider, @@ -14,83 +12,10 @@ import { Tooltip, CssBaseline, } from "@mui/material"; -import isulogo from "../../components/images/ISULogo.png"; //Used for ISU logo at the bottom - - - - -//Global Styling -const theme = createTheme({ - palette: { - mode: "dark", - primary: { main: "#8b5cf6" }, - secondary: { main: "#a855f7" }, - background: { - default: "#07070b", - paper: "rgba(255,255,255,0.04)", - }, - text: { - primary: "#ffffff", - secondary: "#b4b4c7", - }, - }, - typography: { - fontFamily: - 'Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif', - }, -}); +import isulogo from "../../components/images/ISULogo.png"; -//List of research papers -const publications = [ - { - authors: "R. Phillips and P. M. Bodily", - title: - "Spade: A library for programmatic parsing and verification of discrete data structures", - venue: - "2025 Intermountain Engineering, Technology and Computing (IETC), pp. 1–5, IEEE, 2025", - pdfUrl: - "https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11039449", - }, - { - authors: - "K. Marchetti, A. Sevaljevic, A. Diviney, R. Phillips, C. Eardley, R. Khadka, D. Igbokwe, and P. M. Bodily", - title: - "Redux: An interactive, dynamic knowledge base for teaching NP-completeness", - venue: - "Proceedings of the 29th annual ACM conference on Innovation and Technology in Computer Science Education (ITiCSE), 2024", - pdfUrl: "https://etd.iri.isu.edu/ViewSpecimen.aspx?ID=2206", - }, - { - authors: "A. Sevaljevic and P. M. Bodily", - title: - "Comparative empirical analysis of dancing links implementations to solve the exact cover problem", - venue: - "Proceedings of the 4th Intermountain Engineering, Technology, and Computing Conference (i-ETC), pp. 255–258, IEEE, 2024", - pdfUrl: "https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=10564396", - }, - { - authors: "K. Marchetti and P. Bodily", - title: "Visualizing the 3SAT to CLIQUE Reduction Process", - venue: - "2022 Intermountain Engineering, Technology and Computing (IETC), Orem, UT, USA, 2022, pp. 1-5", - pdfUrl: - "https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9796851", - }, - { - authors: "K. Marchetti and P. Bodily", - title: - "KAMI: Leveraging the power of crowd-sourcing to solve complex, real-world problems", - venue: - "2022 Intermountain Engineering, Technology and Computing (IETC), Orem, UT, USA, 2022, pp. 1-4", - pdfUrl: "https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=9796945", - }, -]; - - - - -//The only contributors whose github profiles are found along with its avatar and link +// The only contributors whose GitHub profiles are known, along with avatar and link const contributorProfiles = { "Pratham Khanal": { image: "https://github.com/pkprathamkhanal.png", @@ -126,61 +51,132 @@ const contributorProfiles = { }, }; - - - -//Other links sections at the bottom -const learnMoreHyperlink = [ - { label: "Github", url: "https://github.com/ReduxISU/" }, +const publicationsAndAwards = [ { - label: "Wikipedia: What is NP-Complete?", - url: "https://en.wikipedia.org/wiki/NP-completeness", + citation: + "K. Marchetti and P. Bodily. 2022. Visualizing the 3SAT to CLIQUE Reduction Process. In 2022 Intermountain Engineering, Technology and Computing Conference (IETC), Orem, UT, USA, pp. 1–5.", + doi: "https://ieeexplore.ieee.org/document/9796851", + pdf: "https://portneuf.cose.isu.edu/research/publications/Visualizing_the_3SAT_to_CLIQUE_Reduction.pdf", }, { - label: "Karp's 21 NP-Complete Problems", - url: "https://cgi.di.uoa.gr/~sgk/teaching/grad/handouts/karp.pdf", + citation: + "K. Marchetti and P. Bodily. 2022. KAMI: Leveraging the power of crowd-sourcing to solve complex, real-world problems. In 2022 Intermountain Engineering, Technology and Computing Conference (IETC), Orem, UT, USA, pp. 1–4. Best Student Paper Award.", + doi: "https://ieeexplore.ieee.org/document/9796945", + pdf: "https://portneuf.cose.isu.edu/research/publications/KAMI_Leveraging_Open_Source_to_Solve_Complex_Problems.pdf", }, { - label: "Redux GUI Documentation", - url: "https://github.com/ReduxISU/Redux_GUI/blob/ReduxAPI_GUI/Documentation/index.md", + citation: + "A. Sevaljevic and P. M. Bodily. 2024. Comparative empirical analysis of dancing links implementations to solve the exact cover problem. In 2024 Intermountain Engineering, Technology and Computing Conference (IETC), Orem, UT, USA, pp. 255–258.", + doi: "https://ieeexplore.ieee.org/document/10564396", + pdf: "https://portneuf.cose.isu.edu/research/publications/IETC_2024_submission_dancing_links.pdf", }, { - label: "Redux Backend Documentation", - url: "https://github.com/ReduxISU/Redux/blob/CSharpAPI/Documentation/index.md", + citation: + "Kaden Marchetti, Andrija Sevaljevic, Alex Diviney, Caleb Eardley, Russell Phillips, Rajiv Khadka, Daniel Igbokwe, and Paul Bodily. 2024. Redux: An Interactive, Dynamic Knowledge Base for Teaching NP-completeness. In Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1 (ITiCSE 2024). Association for Computing Machinery, New York, NY, USA, 255–261.", + doi: "https://dl.acm.org/doi/10.1145/3649217.3653544", + pdf: "https://portneuf.cose.isu.edu/research/publications/ITiSCE_Redux_Submission_2024_WIP.pdf", }, { - label: "API Swagger Documentation", - url: "https://api.redux.portneuf.cose.isu.edu/swagger/index.html", + citation: + "R. Phillips and P. M. Bodily. 2025. SPADE: A library for programmatic parsing and verification of discrete data structures. In 2025 Intermountain Engineering, Technology and Computing Conference (IETC), Orem, UT, USA, pp. 1–5.", + doi: "https://ieeexplore.ieee.org/document/11039449", + pdf: "https://portneuf.cose.isu.edu/research/publications/SPADE.pdf", + }, + { + citation: + "Best Graduate Poster Presentation in Education, Learning & Training, Andrija Sevaljevic, 2026 ISU Research and Creative Works Symposium.", + url: "https://myemail.constantcontact.com/What-s-Happening-in-CoSE.html?soid=1138359982044&aid=HHJEZevfPfU", + }, + { + citation: + "Best Graduate Oral Presentation in Education, Learning & Training, Andrija Sevaljevic, 2026 ISU Research and Creative Works Symposium.", + url: "https://myemail.constantcontact.com/What-s-Happening-in-CoSE.html?soid=1138359982044&aid=HHJEZevfPfU", }, ]; +const contributors = [ + "Kaden Marchetti", + "Caleb Eardley", + "Daniel Igbokwe", + "Alex Diviney", + "Janita Aamir", + "Andrija Sevaljevic", + "Garret Stouffer", + "Alex Svancara", + "Eric Hill", + "Porter Glines", + "Show Pratoomratana", + "Russell Phillips", + "Michael Crapse", + "Ian Gonzalez", + "Sabal Subedi", + "Himanshu Jha", + "Max Grünwoldt", + "Paul Gilbreath", + "Sansar Kharal", + "Pratham Khanal", + "George Lake", + "Grant Gardner", + "Jason Wright", + "Andreas Kramer", + "Courtney Bodily", + "Rakesh Itani", + "David Lindeman", +]; +const theme = createTheme({ + palette: { + mode: "light", + primary: { main: "#3F3F46" }, + secondary: { main: "#a855f7" }, + background: { + default: "#F9FAFB", + paper: "#FFFFFF", + }, + text: { + primary: "#111827", + secondary: "#4B5563", + }, + }, + typography: { + fontFamily: + 'Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif', + }, +}); -//It controls all the sections of About, Publications and Contributors const theSectionCard = { - background: "rgba(255,255,255,0.05)", - backdropFilter: "blur(10px)", + background: "#FFFFFF", borderRadius: "16px", - border: "1px solid rgba(255,255,255,0.10)", + border: "1px solid #E5E7EB", padding: { xs: 3, md: 4 }, - transition: "all 0.3s ease", + boxShadow: "0 8px 24px rgba(0,0,0,0.04)", + transition: "all 0.25s ease", "&:hover": { - borderColor: "rgba(168,85,247,0.4)", - boxShadow: "0 0 25px rgba(168,85,247,0.15)", + borderColor: "#F47C20", + boxShadow: "0 12px 30px rgba(0,0,0,0.07)", }, }; +const innerCard = { + background: "#F9FAFB", + border: "1px solid #E5E7EB", + borderRadius: "10px", + px: 1.1, + py: 0.9, + transition: "all 0.2s ease", + "&:hover": { + borderColor: "#F47C20", + background: "#FFFFFF", + }, +}; - - -//For the reusable title sections function TitleSection({ children }) { return ( {name} @@ -210,18 +209,6 @@ function ItemContributor({ name }) { @@ -233,7 +220,7 @@ function ItemContributor({ name }) { @@ -257,13 +244,13 @@ function ItemContributor({ name }) { rel="noopener noreferrer" underline="hover" sx={{ - color: "#e9d5ff", + color: "#F47C20", fontSize: "0.9rem", fontWeight: 500, display: "inline-block", mt: 0.25, "&:hover": { - color: "#c084fc", + color: "#d9670f", }, }} > @@ -272,12 +259,22 @@ function ItemContributor({ name }) { } slotProps={{ + popper: { + modifiers: [ + { + name: "offset", + options: { + offset: [0, 6], + }, + }, + ], + }, tooltip: { sx: { - bgcolor: "#111118", - border: "1px solid rgba(168,85,247,0.35)", + bgcolor: "#FFFFFF", + border: "1px solid #E5E7EB", borderRadius: "12px", - boxShadow: "0 8px 24px rgba(0,0,0,0.4)", + boxShadow: "0 8px 24px rgba(0,0,0,0.12)", padding: "10px 12px", }, }, @@ -286,13 +283,13 @@ function ItemContributor({ name }) { @@ -302,253 +299,354 @@ function ItemContributor({ name }) { ); } - -//Default function export default function AboutUsPage() { return ( + - - - + + ABOUT US + - Welcome to Redux, a - platform for NP-Complete problems. Input your challenges and gain access to - reductions, solutions, verifiers, and visualizations. Join our community of - problem solvers and unravel computational complexities using the application - library. The project was greatly inspired by Richard Karp's paper{" "} + Welcome to{" "} + + Redux + + , a platform for NP-Complete problems. Input your challenges and + gain access to reductions, solutions, verifiers, and + visualizations. Join our community of problem solvers and unravel + computational complexities using the application library. The + project was greatly inspired by Richard Karp's paper{" "} "Reducibility Among Combinatorial Problems" {" "} (Karp, 1972). + + + When citing Redux, please use the following citation: + + + + + Kaden Marchetti, Andrija Sevaljevic, Alex Diviney, Caleb + Eardley, Russell Phillips, Rajiv Khadka, Daniel Igbokwe, and + Paul Bodily. 2024. Redux: An Interactive, Dynamic Knowledge + Base for Teaching NP-completeness. In Proceedings of the 2024 + on Innovation and Technology in Computer Science Education V. 1 + (ITiCSE 2024). Association for Computing Machinery, New York, + NY, USA, 255–261.{" "} + + [DOI] + + + [PDF] + + + + + + + CONTRIBUTORS + + + This project was started by{" "} + + Dr. Paul Bodily + + , who is also the ISU Faculty Sponsor of the project. + + + + Project contributors + + + + {[...contributors] + .sort((a, b) => getLastName(a).localeCompare(getLastName(b))) + .map((name) => ( + + + + + + ))} + - PUBLICATIONS - - Below are research publications associated with the Redux project and its contributors. + PUBLICATIONS AND AWARDS + + + Below are research publications and awards associated with the + Redux project and its contributors. - - {publications.map((pub, index) => ( - - {pub.authors}, - "{pub.title}," - - {pub.venue}. - {" "} - + {publicationsAndAwards.map((item, index) => ( + + - [PDF] - + {item.citation}{" "} + + {item.doi && ( + + [DOI] + + )} + + {item.pdf && ( + + [PDF] + + )} + + {item.url && ( + + [URL] + + )} + ))} - - CONTRIBUTORS - - - This project was started by{" "} - - Dr. Paul Bodily - - , who is also the ISU Faculty Sponsor of the project. - - - - Project contributors - - - - {[ - "Kaden Marchetti", - "Caleb Eardley", - "Daniel Igbokwe", - "Alex Diviney", - "Janita Aamir", - "Andrija Sevaljevic", - "Garret Stouffer", - "Alex Svancara", - "Eric Hill", - "Porter Glines", - "Show Pratoomratana", - "Russell Phillips", - "Michael Crapse", - "Ian Gonzalez", - "Sabal Subedi", - "Himanshu Jha", - "Max Grünwoldt", - "Paul Gilbreath", - "Sansar Kharal", - "Pratham Khanal", - "George Lake", - "Grant Gardner", - "Jason Wright", - "Andreas Kramer", - "Courtney Bodily", - "Rakesh Itani", - "David Lindeman", - ].map((name) => ( - - - - - - ))} - - + + SUPPORT - - LEARN MORE - - Additional documentation can be found at the following links: + + Redux has been supported by the following grants: - - {learnMoreHyperlink.map((item) => ( - - • {item.label} - + + {[ + "“Applied Computational Models and Algorithmic Solutions to Common Optimization Problems In Energy-Water Systems,” Summer Authentic Research Experience (SARE), Idaho Community-engaged Resilience for Energy-Water Systems (I-CREWS), National Science Foundation (NSF). 2026.", + "“Crowd-Sourcing and Visualization of Advanced Computational Theory to Facilitate Application of Algorithmic Knowledgebase to Real-World Combinatorial Problems,” Center for Advanced Energy Studies (CAES). 2024.", + "“Application of advanced computational theory to facilitate efficient solutions to real-world combinatorial problems”, Center for Advanced Energy Studies (CAES). 2022.", + "“Interactive visualization tools for teaching computer science theory”, Idaho State University Office of Research. 2022.", + ].map((grant, index) => ( + + + {grant} + + ))} + + + Any opinions, findings, conclusions, or recommendations + expressed in this material are those of the author(s) and do not + necessarily reflect the views of the funding agencies who have + supported this work. + + + + + LICENSE + + + This work is licensed under the{" "} + + BSD 3-Clause License + . + - - - - + sx={{ + display: "flex", + justifyContent: "center", + alignItems: "center", + pt: 2, + pb: 3, + }} + > + + + + );