Registered user since Fri 16 Jan 2015
I work on programming languages and formal methods. My research helps programmers build more reliable software using automated programming tools: verification tools that check program correctness, and synthesis tools that generate correct programs from specifications.
|SPLASH 2021||Committee Member in External Review Committee within the OOPSLA-track|
|Show activities from other conferences|