Computer Science Machine Learning

Zachary Bonagura

West Nyack, New York

***************@*****.*** 845-***-**** LinkedIn GitHub EDUCATION

Rensselaer Polytechnic Institute – Troy, NY

Bachelor of Science, Computer Science GPA: 3.75

Expected May 2026

• Dean’s List (4/5)

• Exceptional Performance Award: Recognized for exemplary theoretical insights in quantum computing by the Department of Computer Science and Dr. Xiao-Yang Liu.

• Relevant Coursework: Data Structures, Algorithms, Operating Systems, Artificial Intelligence, Database Systems, Mathematics for Machine Learning, Software Design & Documentation, Quantum Computing SKILLS

Languages: Java, Python, C++, C, Rust, HTML, CSS, JavaScript (React, Node, Express), SQL (PostgreSQL), MIPS, Verilog Tools: Git, VSCode, IntelliJ IDEA, Eclipse, JUnit Testing, Postman, Agile/Scrum Practices (Jira), Microsoft Office Suite Cloud: AWS (EC2, S3, RDS), Docker, CI/CD (GitHub Actions) Operating Systems: Linux (Ubuntu), Windows WORK EXPERIENCE

Aris (View) – Undergraduate Research at RPI Aug 2024 – Dec 2024

• Researched with Dr. Bram van Heuveln to innovate algorithms for Aris, an educational tool for building formal logical proofs, improving its ability to interpret complex logical sentences.

• Optimized the backend in Rust using custom data structures to enhance computational efficiency, increasing proof line support by over 230% from 15 to 50+ lines.

• Built a responsive HTML, CSS, and JavaScript frontend for an interactive and user-friendly experience.

• Improved learning experience for 100+ students every year by embedding Aris into courses at RPI. PROJECTS

Meal Match – Software Design & Documentation Jan 2025 – Present

• Leading Agile workflows as Scrum Master for team of 5, managing sprints, stand-ups and backlog using Jira.

• Developing a React web app integrating AI recommendation models to generate personalized meal plans to maximize ingredient usage, meal variety, and nutritional balance.

• Establishing secure RESTful APIs using Node.js and Express.js, featuring encryption and JWT authentication.

• Implementing a PostgreSQL database schema, optimizing data modeling and query performance.

• Deploying on AWS with EC2 for backend services, S3 for media storage, and RDS for database hosting. LEGUP – Rensselaer Center for Open Source Jan 2024 – Aug 2024

• Served as project lead for team of 8, defining goals, providing guidance, and delivering milestones on time.

• Incorporated into RPI courses to teach 125+ students annually the fundamentals of logic through puzzles.

• Designed a Binary Sudoku puzzle using advanced algorithms to ensure proof validation.

• Contributed to 200+ Java files using object-oriented principles, including polymorphism, abstraction, and encapsulation.

• Utilized Git and CI/CD pipelines to streamline version control and project management.

Contact this candidate