diff --git a/pages/aboutus/index.js b/pages/aboutus/index.js
index 4c0e5d7..aa3e438 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,
@@ -10,177 +8,137 @@ import {
Typography,
Link,
Grid,
- Avatar,
- Tooltip,
CssBaseline,
} from "@mui/material";
-import isulogo from "../../components/images/ISULogo.png"; //Used for ISU logo at the bottom
-
+import isulogo from "../../components/images/ISULogo.png";
-
-//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',
- },
-});
-
-
-//List of research papers
-const publications = [
+const publicationsAndAwards = [
{
- 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",
+ 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",
},
{
- 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",
+ 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",
},
{
- 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",
+ 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",
},
{
- 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",
+ 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",
},
{
- 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",
+ 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",
},
{
- label: "Redux GUI Documentation",
- url: "https://github.com/ReduxISU/Redux_GUI/blob/ReduxAPI_GUI/Documentation/index.md",
+ 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",
},
{
- 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",
+ 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}
-
- );
- }
- 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}
-
-
- );
+function getLastName(name) {
+ return name.split(" ").slice(-1)[0].toLowerCase();
}
-
-//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]
+
+
+
- PUBLICATIONS
-
- Below are research publications associated with the Redux project and its contributors.
+ CONTRIBUTORS
+
+
+ This project was started by{" "}
+
+ Dr. Paul Bodily
+
+ , who is also the ISU Faculty Sponsor of the project.
-
- {publications.map((pub, index) => (
-
- {pub.authors},
- "{pub.title},"
-
- {pub.venue}.
- {" "}
-
+ Project contributors
+
+
+
+ {[...contributors]
+ .sort((a, b) => getLastName(a).localeCompare(getLastName(b)))
+ .map((name) => (
+
+
+
+ {name}
+
+
+
+ ))}
+
+
+
+
+ PUBLICATIONS AND AWARDS
+
+
+ Below are research publications and awards associated with the
+ Redux project and its contributors.
+
+
+
+ {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,
+ }}
+ >
+
+
+
+
);