University of Gothenburg
  2. About
  3. Find staff
  4. Nir Piterman

Nir Piterman

Professor

Formal Methods (FM)
Mail
nir.piterman@gu.se
Visiting address
Rännvägen 6 B
412 58 Göteborg
Postal address
Box Box 100
412 96 Göteborg

About Nir Piterman

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.

For further information, check out my personal homepage.