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 2023: CS 475
advising
- Minjian Zhang (PhD)
- Nabarun Deka (PhD)