My favorite phrases to see in research are “globally optimal” and “provably correct”. I am a PhD candidate in Aeronautics and Astronautics: my research applies methods from formal verification and statistics to help autonomous vehicles navigate long-tail situations.
I enjoy understanding and improving complex systems of all types. As a volunteer event planner in Aero/Astro, my favorite tasks were large logistical challenges where I could collaborate with others and share the work and excitement of pulling an event together. I have also worked as a Graduate Teaching Assistant and am currently developing a one unit course on advanced Julia programming. In my spare time, I enjoy climbing and designing custom stickers.
News
-
Dec. 16, 2023. Satisfiability.jl version 0.1.1 has been released! This version includes bugfixes and improvements from the initial release, version 0.1.0.
-
Dec. 12, 2023. I submitted Satisfiability.jl: Satisfiability Modulo Theories in Julia to NASA Formal Methods 2024. This paper and the software it presents were co-written with Professors Mykel J. Kochenderfer and Sanjay Lall.
-
Nov. 29, 2023. Aditya and I received approval to develop a one unit advanced Julia course supervised by Professor Eric Darve! This course will teach students to develop high quality research software in Julia.
-
Oct. 18 2023. I built a new website for Lall Group! Check it out: lallgroup.github.io
-
Aug. 27, 2023. Satisfiability.jl version 0.1.0 has been released! This is the first version of my first package, which provides a high-level interface for solving satisfiability problems in Julia.