Research Interests
- Automata, in particular, automata models for distributed systems
- Logic and Verification
Publications
Here is a list of my publications
Lecture Notes
Notes on Automata, Logic, Games and Algebra
Slides from some talks
- Verifying Concurrent Recursive Programs with Locks
- A two part Tutorial on Graph Decompositions and the Verification of Concurrent Recursive Programs
Part 1 and Part 2 - A two part survey on the Theory of MSCs
Part 1 and Part 2 - Analysing Time-constrained MSCs
- Local Testing of MSCs is Difficult