Nir Piterman
- Universitetslektor, Computing Science, Data- och informationsteknik
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 also worked on applications of formal methods to biological modeling.