Current PhD Students
I head up the Computer-Aided Reasoning Lab (CAR). The students and research scientists I adviser are:
Former PhD Students
- Sudarshan K.
Srinivasan: graduated Summer 2007; currently an
Assistant Professor at North Dakota State University.
Vroon: graduated Summer 2007, currently a priest in Atlanta.
Former Masters Students
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.