University of Gothenburg
Department of Computer Science and Engineering

Nir Piterman
Assocaite Professor / UniversitetsLektor
Email:
Postal address:Department of Computer Science and Engineering
Chalmers University of Technology
SE-41296, Gothenburg, Sweden
Visiting address:Room 5481, 5th floor EDIT building
Rännvägen 6B, Johanneberg campus
Gothenburg, Sweden
Phone: +46-31-772-6053

Research Interests

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.


Publications     CV


ERC Logo

ERC Consolidator Project

dSynMA: Distributed Synthesis from Single to Multiple Agents

The main aims of the project are to study theoretical foundations that will enable to apply reactive synthesis from temporal specifications to work for multiple agents.
This includes studying two-player games and their solutions, modelling solutions for interacting agents, and studies of temporal logic.
Specifically, research will focus on the following objectives:

  1. Consider modelling frameworks that combine message passing and variable sharing allowing for synchronization as well as passage of information.
  2. Work on algorithmic analysis of games that arise from combinations of multiple agents supporting rich modelling features. This includes analysis of partial information games and applications of abstraction and compositionality to games analysis.
  3. Study specification languages that extend temporal and strategy logic by allowing to reason about how agents interact as well as what are their goals. Algorithmically analyse games that arise from such specifications.

Team

Dr Yehia Abd Alrahman
Dr Giuseppe Perelli

Open Positions

Additional positions for postdocs will become available soon.

If you are interested in further details please get in touch.


Short Bio

I completed my PhD in 2005 at the Weizmann Institute of Science under the supervision of Amir Pnueli.
Between 2005-2007 I was a postdoc in Tom Henzinger's group in the Ecoloe Polytechnique Federal de Lausanne.
Between 2007-2010 I was a research Fellow in Imperial College London working with Michael Huth.
I joined the University of Leicester in 2010 as a Lecturer, was promoted to Reader/Associate Professor in 2012.
In March 2019 I joined the Department of Computer Science and Engineering at the University of Gothenburg as a Universitets Lektor / Associate Professor.

PhD Students

Claudia Cauli
Dr Heidy Khlaaf (Thesis: The past, Present, and Future(s): Verifying Temporal Software Properties, 2018)
Dr Alexey Bakhirkin (Thesis: Recurrent Sets for Non-Termination and Safety of Programs, 2016)
Dr Jim Kou (Thesis: Parity Games: Descriptive Complexity and Algorithms for New Solvers,2013)
Dr Nicolas D'Ippolito (Thesis Synthesis of Event-Based Controllers for Software Engineering, 2013).
Dr Daniel Wagner (Thesis: Finite-State Abstractions for Probabilistic Computation Tree Logic, 2011).

Looking for a PhD position?
Check out this list of topics I'm interested in or just get in touch.

Tools

BMA
T2

Teaching

Journal

I am an editor of Acta Informatica.

Events