I am a member of the program analysis group at Microsoft.

My research addresses the problems involved in designing, verifying, and testing complex software systems.  My Ph.D. research, under the supervision of Prof. Ganesh Gopalakrishnan and Prof. Gary Lindstrom, has a particular focus on modeling shared memory consistency models and analyzing multithreaded programs.  

I have previously worked in the area of embedded systems and real-time operating systems. At LSI Logic Corporation, I ported Windows CE to MIPS-based microprocessors and developed numerous device drivers. I also wrote Unix system software for Unisys Corporation and networking software for Enterasys Networks Corporation.