— Nir Piterman
Associate Professor / Reader
G13 Informatics Building|
Department of Informatics,
University of Leicester,
T: +44 116 252 3813 (Office)
F: +44 116 252 3604 (not personal)
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
I am also working on applications of formal methods to biological modeling.
I will soon be awarded an ERC Consolidator grant to work on distributed synthesis.
The main aims of the project are to study theoretical foundations that will enable to apply reactive
synthesis from temporal specifications to work for multiple agents.
This includes studying two-player games and their solutions, modelling solutions for interacting agents,
and studies of temporal logic.
I am looking for PostDocs and PhD students to join me. These positions are open for
If you are interested in further details please get in touch.
I completed my PhD in 2005 at the
Weizmann Institute of Science
under the supervision of
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.
Dr 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