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 using program synthesis to aid users in writing highly reliable software. I design techniques to help developers generate formal specifications for their programs as well as synthesize sufficient invariants that provably establish their correctness.