computer science

	STAFF — Nir Piterman  Lecturer
	G13 Computer Science Building Department of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH. T: +44 116 252 3813 (Leicester) +44 1223 769 025 (Cambridge) F: +44 116 252 3604 (not personal) E: firstname.lastname@le.ac.uk

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 in 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.

Teaching

Discrete Event Systems (restricted link) (University of Leicester, Spring 2011, Spring 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)
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)

Events

• Nineteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013).
• Young Researchers Workshop on Concurrency Theory (YR-Concur 2012).
• Tenth International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012).
• Third International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2012).
• Workshop on Synthesis (SYNT 2012) adjoined workshop to CAV 2012.
• International Conference on Computer Aided Verification (CAV 2012).
• International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012).
• Young Researcher - Concur adjoined workshop to Concur 2011.
• Formal Methods for Robotics and Automation adjoined workshop to CAV 2011.
• International Symposium on Temporal Representation and Reasoning (TIME 2011).

Author: Nir Piterman (firstname.lastname@le.ac.uk), T: +44 116 252 3813 (Leicester) +44 1223 769 025 (Cambridge).
© University of Leicester . Last modified: 2nd April 2012, 22:53:45.
CS Web Maintainer. Any opinions expressed on this page are those of the author.