Nir Piterman


Formal Methods
Visiting address
Rännvägen 6
41258 Göteborg
Room number
Postal address
41296 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.