Office: Room 486, Engineering VI, UCLA
Email: [lastname] cs.ucla.edu
Programming Languages, Program Synthesis and Verification, Statistical Learning
My thesis work is focused on making it easier for developers to write reliable software that have formally verified correctness guarantees. I design techniques to help developers generate formal specifications for their programs as well as synthesize sufficient invariants that provably establish their correctness.
Many of my projects have been in collaboration with groups at Microsoft Research — once with Sumit Gulwani (PROSE), the next time with Ben Zorn (RiSE), Rishabh Singh (now at Google Brain) & Alex Polozov (MSR AI), and a third time with Rahul Sharma (Systems group at MSR India). Previously, I was also an intern with Google’s Technical Infrastructure team.