Skip to content


I joined Google as a Software Engineer in October 2015 after earning a Ph.D. in the Computer Science Department at Carnegie Mellon, advised by André Platzer. My research interests include logical analysis and formal verification of distributed hybrid systems, such as distributed car control and collision avoidance protocols for aircraft.

I currently serve on the board of directors for Learning Equality, a non-profit tech company dedicated to bringing the online learning revolution to communities with little or no internet connectivity.