Nir Piterman

I am a Research Fellow in Imperial College London working with Michael Huth and a visiting fellow in Cambridge Computer Laboratory hosted by Mike Gordon.
Previously I was a postdoc in Tom Henzinger's group and did my Ph.D at the Weizmann Institute of Science under the supervision of Amir Pnueli.

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 (pdf)


Contact Information
Nir Piterman
Imperial College London
Department of Computing
Huxley 359
South Kensington Campus
London, SW7 2AZ, UK

Phone: +44-20-7594-8351
Fax: +44-20-7581-8024
Email: firstname.lastname@doc.ic.ac.uk (note)


Teaching
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)


[Merriam-Webster]
Dictionary 
Thesaurus 
Oxford English Dictionary
Dictionary