research interests
algorithm design, automata theory, and logic with applications to algorithmic verification of systems
teaching
spring 2013: Introduction to Theory of Computation (CS 373)
advising
- current
- Parasara Sridhar Duggirala
- Dileep Kini
- Nima Roohi
- past
- Abhay Vardhan (co-advised by Gul Agha). Currently at BloomReach.
- Viraj Kumar. Currently at NIIT University.
- Ahmed Sobeih. Currently at Cairo University.
- Vladimeros Vladimerou (co-advised by Geir Dullerud). Currently Toyota Research.
- Rohit Chadha. Currently at University of Missouri.
- Pavithra Prabhakar. Currently at IMDEA Software Institute.