Currently volunteering and being mentored by Gitlab and CodePath experienced Developers to help contribute to the open-source codebase of Gitlab Community-Edition.
Working on the Gitlab Community-Edition's documentation, and contributing to the Gitlab Community-Edition's codebase.
Currently volunteering and being mentored by Gitlab and CodePath experienced Developers to help contribute to the open-source codebase of Gitlab Community-Edition.
Working on the Gitlab Community-Edition's documentation, and contributing to the Gitlab Community-Edition's codebase.
Acquired funding for research and received full tuition-assistantship for my Masters as a Graduate Research Assistant for Reliable Autonomous Lab at the University of Dayton.
Developed Formal Verification Frameworks in Rocq Proof Assistant for verifying simulated Softwares.
Co-authored a Research Paper published to KSE2024 on reducing model bias with Reinforcement Learning with white-noise injections.
Instructed and guided graduate & undergraduate students for Intro to Computer Science, Safety & Security, Formal Verification as a Teaching Assistant.
Project Mentor for an infrastructure collision detection research project leveraging Nivida's Jetson Nano with CUDA and Python.
Acquired funding for research and received full tuition-assistantship for my Masters as a Graduate Research Assistant for Reliable Autonomous Lab at the University of Dayton.
Developed Formal Verification Frameworks in Rocq Proof Assistant for verifying simulated Softwares.
Co-authored a Research Paper published to KSE2024 on reducing model bias with Reinforcement Learning with white-noise injections.
Instructed and guided graduate & undergraduate students for Intro to Computer Science, Safety & Security, Formal Verification as a Teaching Assistant.
Project Mentor for an infrastructure collision detection research project leveraging Nivida's Jetson Nano with CUDA and Python.
Participated in the college's funded Independent Research (Beling Scholar) during the Summer.
Presented research at Illinois' Chapter of Mathematics Association of America (MAA) on the derivation and estimation of the elliptic integral of a swinging pendulum.
Worked part-time as a Peer Tutor for the department of Computer Science & Mathematics.
Provided 1-on-1 study sessions for students in Data Structures & Algorithms, Intro to Statistics, Math Modelling, Differential Equations, Discrete Math, & Calculus 1-3.
Drop-in tutor for Computer Science & Mathematics for over 300+ students over 3 years.
Worked as an IT Help Desk Technician for the college's IT Department.
ResearchTutoringStudentsPresentation
Research Assistant & Peer Tutor
Augustana College
Aug 2020 - May 2023
Participated in the college's funded Independent Research (Beling Scholar) during the Summer.
Presented research at Illinois' Chapter of Mathematics Association of America (MAA) on the derivation and estimation of the elliptic integral of a swinging pendulum.
Worked part-time as a Peer Tutor for the department of Computer Science & Mathematics.
Provided 1-on-1 study sessions for students in Data Structures & Algorithms, Intro to Statistics, Math Modelling, Differential Equations, Discrete Math, & Calculus 1-3.
Drop-in tutor for Computer Science & Mathematics for over 300+ students over 3 years.
Worked as an IT Help Desk Technician for the college's IT Department.