University of Leicester


STAFF — Paolo Torrini  Ph.D. (Leeds)

Research Associate in Computer Science
G13 Ken Edwards Building
School of Computing and Mathematical Sciences,
University of Leicester,
University Road,
LE1 7RH.

T: +44 (0)116 252 3813
F: +44 (0)116 252 3915


Current Position

  • RA from May 2008 until March 2010, EU project SENSORIA (internal) - WP7 Model-Driven Development
  • Currently: collaboration for the development of a stochastic simulationa tool (GRASSDEM)


  • Logic Programming (2008-09) CO2014

Research Interests

  • Verification, logic, semantics, theorem proving, graph transformation, stochastic simulation


  • GRASSDEM - stochastic simulation of discrete event models based on graph transformation, as function of VIATRA
  • VeriFT - fault tree analysis based on Petri nets (uses uDrawGraph)
  • FTA - fault tree analysis (based on Moby-FT)
  • Translation of Haskell programs to Isabelle (HOLCF and HOL-AWE), as functions of HetCASL


Biographical Notes

  • Postdoctoral position at Laboratoire Verimag, Grenoble (2006-7), Synchrone Group, work on the verification of railway interlocking systems and on the formalisation of fault trees
  • Research position at the University of Bremen (2003-5), Formal Methods Group, work on the formalisation of a control systems and translation of Haskell to Isabelle in HetCASL
  • PhD at the School of Computing, University of Leeds (2003), Qualitative Spatial Reasoning Group, thesis on the logic of spatial representation
  • MSc in AI at the University of Edinburgh (1999), Mathematical Reasoning Group, dissertation on hardware verification with HOL/Clam
  • MSc in Philosophy at the University of Florence (1995), Logic Group, dissertation on relevant modal logics

Full CV

Local Resources

Author: Paolo Torrini (, T: +44 (0)116 252 3813.
© University of Leicester June 2008. Last modified: 16th July 2010, 15:52:50
CMS Web Maintainer. Any opinions expressed on this page are those of the author.