Registered user since Fri 30 May 2014
I am a Principal Researcher in the Research in Software Engineering group at Microsoft Research. My research focus is on scalable analysis of concurrent systems. More broadly, my interests include systems, program analysis, model checking, verification, and theorem proving. I spend a lot of time at Microsoft building analysis tools to improve the productivity of software developers and testers.
|POPL 2016|| Committee Member in Program Committee within the Research Papers-track|
Committee Member in Program Committee
|Show activities from other conferences|
View general profile