I am a member
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
Prof. Gary Lindstrom, has a particular focus on
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