About me

I am currently a software engineer at Flyby Robotics where I develop the software infrastructure running on our drones and developer tools, including the Flyby SDK. I also work on video streaming, sensor integration, cloud infrastructure, and user-facing applications. All the software running on our drone’s GPU computer was written by me!

Check out some cool drone applications!

Previously I was at UCLA as a Computer Science Ph.D. student, which I left in 2024. While there, I studied quantum computing, and worked on optimization for quantum programs. I graduated from UIUC with a B.S. in Computer Engineering in 2018, and with an M.S. in Computer Science in 2020.

While at UIUC, I worked on the K Framework under Professor Grigore Rosu, where I implemented the I/O and FFI interfaces in the LLVM backend, implemented and tested pattern matching heuristics, and helped transition projects to the LLVM backend. I also worked with Professor Jose Meseguer on IMPL and its prover, found here.