Projects:

Currently, I am working on the VCC project. VCC is an automated, deductive verification tool for concurrent C code. The project is a collaboration between EMIC and the RiSE group at Microsoft Research in Redmond.