research interests
algorithm design, automata theory, and logic with applications to algorithmic verification of systems
for drafts of papers not available online, please email me
teaching
fall 2024: CS 475
advising
- Minjian Zhang (PhD)
- Nabarun Deka (PhD)
- Hrishikesh Balakrishnan (PhD)