research interests
algorithm design, automata theory, and logic with applications to algorithmic verification of systems
teaching
fall 2007: logical foundations of computer science (CS 498 MV)
advising
- current
- Ahmed Sobeih (co-advised by Jennifer Hou)
- Pavithra Prabhakar
- past
- Abhay Vardhan (co-advised by Gul Agha). Currently at Google.
- Viraj Kumar. Currently at Holy Cross.