University of Leicester


photo of Nir Piterman

STAFF — Nir Piterman

G13Computer Science Building
Department of Computer Science,
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.
Since 2010 I am a lecturer/reader in the University of Leicester.

PhD Students

Heidy Khlaaf
Alexey Bakhirkin
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.


BMA (unstable version; html version)


Advanced C++ Programming (restricted link) (University of Leicester, Autumn 2012, Autumn 2013, Autumn 2014)
Games and Synthesis (EATCS Young Researchers School, Summer 2014)
Discrete Event Systems (restricted link) (University of Leicester, Spring 2011, Spring 2012, Spring 2013, Spring 2014)
Synthesis from Temporal Specifications with Applications in Robotics and Model-driven Development (University of Buenos Aires, Summer 2010)
Models of Computation (Imperial College London, Spring 2010)
Computability and Complexity (Imperial College London, Autumn 2008)
Theoretical Computer Science III (EPFL, 2006-2007)
Computer Aided Verification (EPFL, 2006)
Theoretical Computer Science III (EPFL, 2005-2006)
Problem Solving (EPFL, 2005)
Advanced Topics in Automata (Weizmann, 2003)
Advanced Topics in Computability (Weizmann, 2002)


I will be soon an editor of Acta Informatica .


| [University Home]|[Faculty of Science]|[MCS Home]|[CS Home]||[University Index A-Z]|[University Search]|[University Help]|

Author: Nir Piterman (, T: +44 116 252 3813 (Office).
University of Leicester . Last modified: 9th December 2014, 21:11:57.
CS Web Maintainer. Any opinions expressed on this page are those of the author.