My main research interests are models of distributed systems, multi-agent systems, modelling of knowledge and belief, temporal logics for concurrent systems, automated verification, and model checking of concurrent systems.
