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

• "Mathematical Problems", D. Hilbert
• Alan Turing
• Events in CS (by R. Bruni)
• Python
• Ocaml
• W3C schools

Coauthors