Current PhD Students

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

• Harsh Raju Chamarthi.

• Eugene Goldberg.

• Mitesh Jain.

• Vasilis Papavasileiou.

Former PhD Students

• Peter C. Dillinger, graduated Fall 2010; currently at Coverity.

• Sudarshan K. Srinivasan: graduated Summer 2007; currently an Assistant 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.