Software Verification, Programming Languages, Formal Methods, and Security (all with an emphasis on concurrency-related issues)
Projects:
- Concurrent Program Verification: Duet.
- Robustness Verification
- Concurrent Program Testing: Penelope.
People:
Current Students:
■ Zachary Kincaid
■ Nilloofar Razavi
I am always looking for highly motiviated students who would like to work in my area. Take a look at my research page, and send me an email if any of the topics interest you. Feel free to come forward with your own ideas as well.
Current Collaborators:
Swarat Chaudhuri (Rice), Madhusudan Parthasarathy (UIUC), Sheila McIlraith (U Toronto), Helmut Veith (TU Vienna),
Former Collaborators:
Edmund Clarke (CMU), Yu-Fang Chen (Academia Sinica), Bow-Yaw Wang (Academia Sinica), Yih-Kuen Tsay (NTU)
Former Students:
■ Golnaz Ghasemi: MS graduate.