Nir Piterman

Professor, avdelningen för Computing Science, Institutionen för 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.
Check out my ​homepage.​

Sidansvarig Publicerad: to 05 maj 2022.