91探花

University 91探花
  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 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 .