Research Interests
Modal Logic
Dynamic Logic
Epstemic Logic
Hybrid Logic
Temporal Logics
Model Checking
Dynamic Logics for Concurrent
Processes
Formal Specification of Distributed Systems
Knowledge in Distributed Systems
Modal Logics of Processes
Process Algebra: CCS and pi-Calculus
Multi-Agent Systems