Working as a Research Engineer at Carboncopies Foundation, San Francisco, CA.
Jumping around Departments to help with simulation, data, software, and platform development & support.
Researching on current Computational Neuroscience work and papers.
Emulating biophysical brain neurons and networks of neurons and building Pipelines for analyzing the simulation data.
Presenting and discussing research findings with the teams in weekly stand-ups.
Complex Systems Research Engineer
Carboncopies
July 2025 - present
Working as a Research Engineer at Carboncopies Foundation, San Francisco, CA.
Jumping around Departments to help with simulation, data, software, and platform development & support.
Researching on current Computational Neuroscience work and papers.
Emulating biophysical brain neurons and networks of neurons and building Pipelines for analyzing the simulation data.
Presenting and discussing research findings with the teams in weekly stand-ups.
Research Assistant & Teaching Assistant
University of Dayton
Aug 2023 - Aug 2025
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.
Research Assistant & Teaching Assistant
University of Dayton
Aug 2023 - Aug 2025
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.
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.
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.
