Research interests

  • Process calculi
  • Graph rewriting
  • Formal verification
  • Models for global computing
  • Spatial logics
  • Coordination
  • Symbolic verification
  • Mobile calculi
  • Algebras and coalgebras

Some Events

Member of

Emilio Tuosto's
Home Page


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.

Interesting links

Coauthors