— Nir Piterman
G13 Computer Science Building|
Department of Computer Science,
University of Leicester,
T: +44 116 252 3813 (Leicester) +44 1223 769 025 (Cambridge)
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 in 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.
Dr Nicolas D'Ippolito (Thesis March 2013).
Dr Daniel Wagner (Thesis October 2010).
Discrete Event Systems (restricted link)
(University of Leicester, Spring 2011, Spring 2012, Spring 2013)
C++ and advanced algorithm design (restricted link)
(University of Leicester, Autumn 2012)
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)
Verification (EPFL, 2006)
Theoretical Computer Science III (EPFL, 2005-2006)
Advanced Topics in Automata (Weizmann, 2003)
Advanced Topics in Computability