Current PhD StudentsI head up the Computer-Aided Reasoning Lab (CAR). The students and research scientists I adviser are:
Former PhD Students
- Vasilis Papavasileiou: graduated Summer 2015; currently working on Ocsigen.
- Peter C. Dillinger: graduated Fall 2010; currently at Coverity.
- Sudarshan K. Srinivasan: graduated Summer 2007; currently an Associate Professor at North Dakota State University.
- Daron Vroon: graduated Summer 2007, currently a priest in Atlanta.
Former Masters Students
- Yimin Zhang, graduated from Georgia Tech, CS in Fall 2007. Currently at NVidia.
- Roma Kane, graduated from Georgia Tech, CS in Spring 2007. Currently at Cisco.
- Gayatri Subramanian, graduated with thesis from Georgia Tech ECE, Spring 2006. Currently at Oracle.