algorithm design, automata theory, and logic with applications to algorithmic verification of systems
spring 2013: Introduction to Theory of Computation (CS 373)
- 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.