Nir Piterman

Nir Piterman is a Professor in Computer Science at the University of Gothenburg's Department of Computer Science and Engineering. Previously, he was a Lecturer and later Reader (Associate Professor) at the University of Leicester (2010-2019), following postdoctoral research at EPFL (2005-2007) and a Research Fellowship at Imperial College London (2007-2010).

• PhD from Weizmann Institute of Science (2005), supervised by Amir Pnueli
• Postdoc at EPFL with Tom Henzinger (2005-2007)
• Research Fellow at Imperial College London (2007-2010)
• Lecturer at University of Leicester (2010-2019), promoted to Reader in 2012
• Universitets Lektor (Associate Professor) at University of Gothenburg (2019-2021), promoted to Professor in 2021

His research focuses on formal verification, automata theory, and synthesis from temporal specifications. Current work under the ERC Consolidator Project dSynMA extends reactive synthesis to multi-agent systems, exploring frameworks combining message passing and variable sharing, algorithmic analysis of games with partial information, and logic extensions for agent interaction.

He has supervised eight PhD students, including Prabhat Kumar Jha (path planning in game solving), David Lidell (automata constructions for LTL with past), and Claudia Cauli (cloud infrastructure security reasoning, 2022), with theses covering program verification, temporal logic, and game algorithms.

• ERC Consolidator Grant (2021-?, dSynMA)
• Editor-in-Chief, Formal Methods in System Design
• Editor, Acta Informatica

Nir has taught courses such as Principles of Concurrent Programming (Chalmers, 2019-2025), Advanced C++ Programming (University of Leicester, 2012-2017), and Synthesis from Temporal Specifications (University of Buenos Aires, 2010). He actively recruits PhD candidates and has hosted postdoctoral researchers at multiple institutions.