- Process calculi
- Graph rewriting
- Formal verification
- Models for global computing
- Spatial logics
- Symbolic verification
- Mobile calculi
- Algebras and coalgebras
Who I am...briefly
Currently I'm a lecturer at the
Computer Science Department,
University of Leicester.
My main research interests are listed below and regard the investigation of models,
foundational calculi and languages for the so-called global computing.
I am interested in teorethical and practical aspects of the (symbolic) verification of those
systems (and applications) as well.
My short curriculum vitae can be found here.
while here is a longer PDF version.