From 1f663a0082c47d32d28dc3d320b6b2ef8472ec94 Mon Sep 17 00:00:00 2001 From: Pratham Khanal Date: Mon, 13 Apr 2026 03:18:12 -0500 Subject: [PATCH 1/6] Update index.js Rebuilt the About Us page with a clean implementation to resolve previous build issues. Changes include: - redesigned layout and theme for better consistency - improved typography and spacing - restructured contributors section with grid layout and interactions - refined publications section styling - resolved previous CI/build issues by isolating changes to this file This PR focuses on improving UI/UX while ensuring compatibility with the existing project setup. --- pages/aboutus/index.js | 723 ++++++++++++++++++++++++++++++----------- 1 file changed, 540 insertions(+), 183 deletions(-) diff --git a/pages/aboutus/index.js b/pages/aboutus/index.js index 8fd6a0b..8961886 100644 --- a/pages/aboutus/index.js +++ b/pages/aboutus/index.js @@ -1,198 +1,555 @@ import ResponsiveAppBar from "../../components/widgets/ResponsiveAppBar"; -import { createTheme, ThemeProvider, Container, Box } from "@mui/material"; -import "bootstrap/dist/css/bootstrap.min.css"; -import { Card } from "react-bootstrap"; -import isulogo from "../../components/images/ISULogo.png"; + + +//UI Components +import { + createTheme, + ThemeProvider, + Container, + Box, + Typography, + Link, + Grid, + Avatar, + Tooltip, + CssBaseline, +} from "@mui/material"; +import isulogo from "../../components/images/ISULogo.png"; //Used for ISU logo at the bottom import Image from "next/image"; -export default function AboutUsPage() { - const theme = createTheme({ - palette: { - mode: "light", - primary: { main: "#424242" }, - secondary: { main: "#f47920" }, - }, - }); - - const cardBodyStyle = { padding: "20px" }; - - const contributors = [ - "Kaden Marchetti", - "Caleb Eardley", - "Daniel Igbokwe", - "Alex Diviney", - "Janita Aamir", - "Andrija Sevaljevic", - "Garret Stouffer", - "Porter Glines", - "Show Pratoomratana", - "Russell Phillips", - "Michael Crapse", - "Ian Gonzalez", - "Sabal Subedi", - "Himanshu Jha", - "Sansar Kharal", - "Pratham Khanal", - "George Lake", - "Grant Gardner", - "Jason Wright", - "Alex Svancara", - "Eric Hill", - "Max Grünwoldt", - "Paul Gilbreath", - "Andreas Kramer", - "Courtney Bodily", - "Rakesh Itani", - "David Lindeman", - ]; - - const publications = [ - { - title: - "R. Phillips and P. M. Bodily, “Spade: A library for programmatic parsing and verification of discrete data structures,” in 2025 Intermountain Engineering, Technology and Computing (IETC), pp. 1–5, IEEE, 2025.", - link: "https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11039449", - }, - { - title: - "K. Marchetti, A. Sevaljevic, A. Diviney, R. Phillips, C. Eardley, R. Khadka, D. Igbokwe, and P. M. Bodily, “Redux: An interactive, dynamic knowledge base for teaching NP-completeness,” in Proceedings of the 29th annual ACM conference on Innovation and Technology in Computer Science Education (ITiCSE), 2024.", - link: "https://etd.iri.isu.edu/ViewSpecimen.aspx?ID=2206", - }, - { - title: - "A. Sevaljevic and P. M. Bodily, “Comparative empirical analysis of dancing links implementations to solve the exact cover problem,” in Proceedings of the 4th Intermountain Engineering, Technology, and Computing Conference (i-ETC), pp. 255–258, IEEE, 2024.", - link: "https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=10564396", - }, - { - title: - 'K. Marchetti and P. Bodily, "Visualizing the 3SAT to CLIQUE Reduction Process," 2022 Intermountain Engineering, Technology and Computing (IETC), Orem, UT, USA, 2022, pp. 1-5, doi: 10.1109/IETC54973.2022.9796851.', - link: "https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9796851", + + + +//Global Styling +const theme = createTheme({ + palette: { + mode: "dark", + primary: { main: "#8b5cf6" }, + secondary: { main: "#a855f7" }, + background: { + default: "#07070b", + paper: "rgba(255,255,255,0.04)", }, - { - title: - 'K. Marchetti and P. Bodily, "KAMI: Leveraging the power of crowd-sourcing to solve complex, real-world problems," 2022 Intermountain Engineering, Technology and Computing (IETC), Orem, UT, USA, 2022, pp. 1-4, doi: 10.1109/IETC54973.2022.9796945.', - link: "https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=9796945", + text: { + primary: "#ffffff", + secondary: "#b4b4c7", }, - ]; + }, + typography: { + fontFamily: + 'Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif', + }, +}); + + +//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 +const contributorProfiles = { + "Pratham Khanal": { + image: "https://github.com/pkprathamkhanal.png", + github: "https://github.com/pkprathamkhanal", + }, + "Sansar Kharal": { + image: "https://github.com/kharsans.png", + github: "https://github.com/kharsans", + }, + "Himanshu Jha": { + image: "https://github.com/himanshujha05.png", + github: "https://github.com/himanshujha05", + }, + "Andrija Sevaljevic": { + image: "https://github.com/Andrija-Sevaljevic.png", + github: "https://github.com/Andrija-Sevaljevic", + }, + "Jason Wright": { + image: "https://github.com/wrigjl.png", + github: "https://github.com/wrigjl", + }, + "Daniel Igbokwe": { + image: "https://github.com/igbodani.png", + github: "https://github.com/igbodani", + }, + "Sabal Subedi": { + image: "https://github.com/sabal_subedi.png", + github: "https://github.com/sabal_subedi", + }, + "Alex Svancara": { + image: "https://github.com/svanalex.png", + github: "https://github.com/svanalex", + }, +}; + + + + +//Other links sections at the bottom +const learnMoreHyperlink = [ + { label: "Github", url: "https://github.com/ReduxISU/" }, + { + label: "Wikipedia: What is NP-Complete?", + url: "https://en.wikipedia.org/wiki/NP-completeness", + }, + { + label: "Karp's 21 NP-Complete Problems", + url: "https://cgi.di.uoa.gr/~sgk/teaching/grad/handouts/karp.pdf", + }, + { + label: "Redux GUI Documentation", + url: "https://github.com/ReduxISU/Redux_GUI/blob/ReduxAPI_GUI/Documentation/index.md", + }, + { + label: "Redux Backend Documentation", + url: "https://github.com/ReduxISU/Redux/blob/CSharpAPI/Documentation/index.md", + }, + { + label: "API Swagger Documentation", + url: "https://api.redux.portneuf.cose.isu.edu/swagger/index.html", + }, +]; + + + +//It controls all the sections of About, Publications and Contributors +const theSectionCard = { + background: "rgba(255,255,255,0.05)", + backdropFilter: "blur(10px)", + borderRadius: "16px", + border: "1px solid rgba(255,255,255,0.10)", + padding: { xs: 3, md: 4 }, + transition: "all 0.3s ease", + "&:hover": { + borderColor: "rgba(168,85,247,0.4)", + boxShadow: "0 0 25px rgba(168,85,247,0.15)", + }, +}; + + + + +//For the reusable title sections +function TitleSection({ children }) { + return ( + + {children} + + ); +} + +function ItemContributor({ name }) { + const profile = contributorProfiles[name]; + if (!profile) { + return ( + + {name} + + ); + } + return ( + + + + + + {name} + + + Contributor + + + + + + View GitHub Profile + + + } + componentsProps={{ + tooltip: { + sx: { + bgcolor: "#111118", + border: "1px solid rgba(168,85,247,0.35)", + borderRadius: "12px", + boxShadow: "0 8px 24px rgba(0,0,0,0.4)", + padding: "10px 12px", + }, + }, + }} + > + + {name} + + + ); +} + + +//Default function +export default function AboutUsPage() { return ( - - -
- - {/* ABOUT US Card */} - - - 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's library. The project was greatly inspired by Richard Karp's paper "} - + + + + + + + + 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's + library. The project was greatly inspired by Richard Karp's paper{" "} + + "Reducibility Among Combinatorial Problems" + {" "} + (Karp, 1972). + + + + + PUBLICATIONS + + Below are research publications associated with the Redux project and its contributors. + + + + {publications.map((pub, index) => ( + + {pub.authors}, + "{pub.title}," + + {pub.venue}. + {" "} + + [PDF] + + + ))} + + + + + 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) => ( + + + + + + ))} + + + + - "Reducibility Among Combinatorial Problems" - {" "} - {"(Karp, 1972)."} - - - -
- - {/* PUBLICATIONS Card */} - - - Publications - - -

- Below are research publications associated with the Redux project - and its contributors: -

- - - - -
- - {/* CONTRIBUTORS Card */} - - - Contributors - - -

- This project was started by Dr.{" "} - - Paul Bodily - - , who is also the ISU Faculty Sponsor of the project. -

-

- The students who contributed to the creation of the application - are: -

- - {/* Column-ordered 3-column layout */} -
- {contributors.map((name, index) => ( -
• {name}
- ))} -
- - - - {/* LEARN MORE Card */} - - Learn More - - {`Additional documentation can be found at the following links:`} - - - - - {/* ISU Logo */} - - - ISU Logo - + • {item.label} + + ))} + + + + + + + + + + ); From cee6abaf39585e95e290f8459c6943a80f4f3ffb Mon Sep 17 00:00:00 2001 From: Pratham Date: Mon, 13 Apr 2026 03:36:22 -0500 Subject: [PATCH 2/6] fix: sync package lockfile --- package-lock.json | 30 ------------------------------ 1 file changed, 30 deletions(-) diff --git a/package-lock.json b/package-lock.json index a6f22e8..37524f8 100644 --- a/package-lock.json +++ b/package-lock.json @@ -6693,11 +6693,7 @@ "version": "12.3.7", "resolved": "https://registry.npmjs.org/next/-/next-12.3.7.tgz", "integrity": "sha512-3PDn+u77s5WpbkUrslBP6SKLMeUj9cSx251LOt+yP9fgnqXV/ydny81xQsclz9R6RzCLONMCtwK2RvDdLa/mJQ==", -<<<<<<< HEAD -======= "license": "MIT", - "peer": true, ->>>>>>> 41016bf (Changed redux problem selection dropdown's controller call from NPC_ProblemsRefactor to ALL_ProblemsRefactor) "dependencies": { "@next/env": "12.3.7", "@swc/helpers": "0.4.11", @@ -7324,11 +7320,7 @@ "version": "18.3.1", "resolved": "https://registry.npmjs.org/react/-/react-18.3.1.tgz", "integrity": "sha512-wS+hAgJShR0KhEvPJArfuPVN1+Hz1t0Y6n5jLrGQbkb4urgPE/0Rve+1kMB1v/oWgHgm4WIcV+i7F2pTVj+2iQ==", -<<<<<<< HEAD -======= "license": "MIT", - "peer": true, ->>>>>>> 41016bf (Changed redux problem selection dropdown's controller call from NPC_ProblemsRefactor to ALL_ProblemsRefactor) "dependencies": { "loose-envify": "^1.1.0" }, @@ -7366,17 +7358,10 @@ } }, "node_modules/react-dom": { -<<<<<<< HEAD - "version": "18.1.0", - "resolved": "https://registry.npmjs.org/react-dom/-/react-dom-18.1.0.tgz", - "integrity": "sha512-fU1Txz7Budmvamp7bshe4Zi32d0ll7ect+ccxNu9FlObT605GOEB8BfO4tmRJ39R5Zj831VCpvQ05QPBW5yb+w==", -======= "version": "18.3.1", "resolved": "https://registry.npmjs.org/react-dom/-/react-dom-18.3.1.tgz", "integrity": "sha512-5m4nQKp+rZRb09LNH59GM4BxTh9251/ylbKIbpe7TpGxfJ+9kv6BLkLBXIjjspbgbnIBNqlI23tRnTWT0snUIw==", "license": "MIT", - "peer": true, ->>>>>>> 41016bf (Changed redux problem selection dropdown's controller call from NPC_ProblemsRefactor to ALL_ProblemsRefactor) "dependencies": { "loose-envify": "^1.1.0", "scheduler": "^0.23.2" @@ -13312,10 +13297,6 @@ "version": "12.3.7", "resolved": "https://registry.npmjs.org/next/-/next-12.3.7.tgz", "integrity": "sha512-3PDn+u77s5WpbkUrslBP6SKLMeUj9cSx251LOt+yP9fgnqXV/ydny81xQsclz9R6RzCLONMCtwK2RvDdLa/mJQ==", -<<<<<<< HEAD -======= - "peer": true, ->>>>>>> 41016bf (Changed redux problem selection dropdown's controller call from NPC_ProblemsRefactor to ALL_ProblemsRefactor) "requires": { "@next/env": "12.3.7", "@next/swc-android-arm-eabi": "12.3.4", @@ -13751,10 +13732,6 @@ "version": "18.3.1", "resolved": "https://registry.npmjs.org/react/-/react-18.3.1.tgz", "integrity": "sha512-wS+hAgJShR0KhEvPJArfuPVN1+Hz1t0Y6n5jLrGQbkb4urgPE/0Rve+1kMB1v/oWgHgm4WIcV+i7F2pTVj+2iQ==", -<<<<<<< HEAD -======= - "peer": true, ->>>>>>> 41016bf (Changed redux problem selection dropdown's controller call from NPC_ProblemsRefactor to ALL_ProblemsRefactor) "requires": { "loose-envify": "^1.1.0" } @@ -13779,16 +13756,9 @@ } }, "react-dom": { -<<<<<<< HEAD - "version": "18.1.0", - "resolved": "https://registry.npmjs.org/react-dom/-/react-dom-18.1.0.tgz", - "integrity": "sha512-fU1Txz7Budmvamp7bshe4Zi32d0ll7ect+ccxNu9FlObT605GOEB8BfO4tmRJ39R5Zj831VCpvQ05QPBW5yb+w==", -======= "version": "18.3.1", "resolved": "https://registry.npmjs.org/react-dom/-/react-dom-18.3.1.tgz", "integrity": "sha512-5m4nQKp+rZRb09LNH59GM4BxTh9251/ylbKIbpe7TpGxfJ+9kv6BLkLBXIjjspbgbnIBNqlI23tRnTWT0snUIw==", - "peer": true, ->>>>>>> 41016bf (Changed redux problem selection dropdown's controller call from NPC_ProblemsRefactor to ALL_ProblemsRefactor) "requires": { "loose-envify": "^1.1.0", "scheduler": "^0.23.2" From e848ac45cbc41c80b4094d23384ac91c594a756b Mon Sep 17 00:00:00 2001 From: Pratham Khanal Date: Mon, 13 Apr 2026 12:38:21 -0500 Subject: [PATCH 3/6] Update index.js Removing import Image from "next/image"; because it is not used anywhere. --- pages/aboutus/index.js | 1 - 1 file changed, 1 deletion(-) diff --git a/pages/aboutus/index.js b/pages/aboutus/index.js index 8961886..06a6009 100644 --- a/pages/aboutus/index.js +++ b/pages/aboutus/index.js @@ -15,7 +15,6 @@ import { CssBaseline, } from "@mui/material"; import isulogo from "../../components/images/ISULogo.png"; //Used for ISU logo at the bottom -import Image from "next/image"; From 126e5689ff4ac3c611e591dffa1c2876e906dbe0 Mon Sep 17 00:00:00 2001 From: Pratham Khanal Date: Mon, 13 Apr 2026 13:05:00 -0500 Subject: [PATCH 4/6] Update index.js Fix label encoding issue for Karp's 21 NP-Complete Problems --- pages/aboutus/index.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pages/aboutus/index.js b/pages/aboutus/index.js index 06a6009..8be784c 100644 --- a/pages/aboutus/index.js +++ b/pages/aboutus/index.js @@ -137,7 +137,7 @@ const learnMoreHyperlink = [ url: "https://en.wikipedia.org/wiki/NP-completeness", }, { - label: "Karp's 21 NP-Complete Problems", + label: "Karp's 21 NP-Complete Problems", url: "https://cgi.di.uoa.gr/~sgk/teaching/grad/handouts/karp.pdf", }, { From a904a916cb8ec277fecf58312ba4e58c30ac8f38 Mon Sep 17 00:00:00 2001 From: Pratham Khanal Date: Mon, 13 Apr 2026 13:11:23 -0500 Subject: [PATCH 5/6] Update index.js Fix label formatting issue in documentation resource --- pages/aboutus/index.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pages/aboutus/index.js b/pages/aboutus/index.js index 8be784c..4c0e5d7 100644 --- a/pages/aboutus/index.js +++ b/pages/aboutus/index.js @@ -333,7 +333,7 @@ export default function AboutUsPage() { 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's + problem solvers and unravel computational complexities using the application library. The project was greatly inspired by Richard Karp's paper{" "} Date: Tue, 14 Apr 2026 14:41:09 -0500 Subject: [PATCH 6/6] Update index.js Removed the "Learn More" section from the About Us page as it is being relocated to the Help page for better organization and separation of concerns. This change eliminates duplicate content and improves overall navigation by grouping documentation-related resources under the Help section. No functional changes were made to other sections of the About Us page. --- pages/aboutus/index.js | 62 ------------------------------------------ 1 file changed, 62 deletions(-) diff --git a/pages/aboutus/index.js b/pages/aboutus/index.js index 4c0e5d7..416bc57 100644 --- a/pages/aboutus/index.js +++ b/pages/aboutus/index.js @@ -127,35 +127,6 @@ const contributorProfiles = { }; - - -//Other links sections at the bottom -const learnMoreHyperlink = [ - { label: "Github", url: "https://github.com/ReduxISU/" }, - { - label: "Wikipedia: What is NP-Complete?", - url: "https://en.wikipedia.org/wiki/NP-completeness", - }, - { - label: "Karp's 21 NP-Complete Problems", - url: "https://cgi.di.uoa.gr/~sgk/teaching/grad/handouts/karp.pdf", - }, - { - label: "Redux GUI Documentation", - url: "https://github.com/ReduxISU/Redux_GUI/blob/ReduxAPI_GUI/Documentation/index.md", - }, - { - label: "Redux Backend Documentation", - url: "https://github.com/ReduxISU/Redux/blob/CSharpAPI/Documentation/index.md", - }, - { - label: "API Swagger Documentation", - url: "https://api.redux.portneuf.cose.isu.edu/swagger/index.html", - }, -]; - - - //It controls all the sections of About, Publications and Contributors const theSectionCard = { background: "rgba(255,255,255,0.05)", @@ -480,39 +451,6 @@ export default function AboutUsPage() { - - LEARN MORE - - Additional documentation can be found at the following links: - - - - {learnMoreHyperlink.map((item) => ( - - • {item.label} - - ))} - -