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)

	Dictionary		Thesaurus
	Dictionary