I am a Principal in the RDSE group at Microsoft Research.

Research Interests: My main areas of research are program authoring on mobile devices, program analysis, testing, optimization, and verification.