Research Interests
Applications of Formal Methods
- Verification of System Properties
- Timed and Probabilistic Systems
Distributed and Embedded Systems
- Designing and describing multi-processor systems
- Designing and describing real-time systems
Game Theory
- Applications of Artificial Intelligence in Strategic Games
Teaching Interests
- Compilers
- Concurrent Programming
- Computability & Complexity
- Logic