Nir Piterman

Professor, Computing Science division, Department of Computer Science and Engineering.

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.​

Page manager Published: Thu 05 May 2022.