— Nir Piterman
G13 Computer Science Building|
Department of Computer Science,
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 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 and was promoted to Reader in 2012.
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