Current PhD Students

I head up the Computer-Aided Reasoning Lab (CAR). The students and research scientists I adviser are:

• Harsh Raju Chamarthi.

• Mitesh Jain.

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.