University of Leicester


photo of Nir Piterman

STAFF — Nir Piterman

Associate Professor / Reader
G13Informatics Building
Department of Informatics,
University of Leicester,
University Road,
LE1 7RH.

T: +44 116 252 3813 (Office)
F: +44 116 252 3604 (not personal)

Research Interests

My research interests include formal verification and automata theory. I have worked (and still am) on model checking of various types of systems, different aspects of temporal logic, as well as synthesis and game solving. I am also working on applications of formal methods to biological modeling.

Publications CV

Short Bio

I completed my PhD in 2005 at the Weizmann Institute of Science under the supervision of Amir Pnueli.
Between 2005-2007 I was a postdoc in Tom Henzinger's group in the Ecoloe Polytechnique Federal de Lausanne.
Between 2007-2010 I was a research Fellow in Imperial College London working with Michael Huth.
I joined the University of Leicester in 2010 as a Lecturer, was promoted to Reader/Associate Professor in 2012.

PhD Students

Claudia Cauli
Heidy Khlaaf (Thesis September 2017)
Dr Alexey Bakhirkin (Thesis June 2016)
Dr Jim Kou (Thesis July 2013)
Dr Nicolas D'Ippolito (Thesis March 2013).
Dr Daniel Wagner (Thesis October 2010).

Looking for a PhD position?
Check out this list of topics I'm interested in or just get in touch.





I am an editor of Acta Informatica.


    Author: Nir Piterman, T: +44 116 252 3813 (Office).
    University of Leicester . Last modified: 1st October 2017, 20:21:01.
    Informatics Web Maintainer. Any opinions expressed on this page are those of the author.