Skip to main content
Breadcrumb

Nir Piterman

SENIOR LECTURER

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