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: Consider modelling frameworks that combine message passing and variable sharing allowing for synchronization as well as passage of information. 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. 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. To dSynMA homepage

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, was promoted to Professor in 2021.

PhD Students

Prabhat Kumar Jha (Project: Incorporating Path Planning in Game Solving)
David Lidell (Project: Automata Constructions for Linear Temporal Logic with Past)
Dr Claudia Cauli (Thesis: Pre-deployment Description Logic-based Reasoning for Cloud Infrastructure Security, 2022)
Dr Heidy Khlaaf (Thesis: The past, Present, and Future(s): Verifying Temporal Software Properties, 2018)
Dr Alexey Bakahirkin (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? Get in touch!

Hosted Postdocs

Dr Mathieu Lehaut (Currently at Warsaw University)
Dr Daniel Hausmann (Currently a lecturer at the University of Liverpool)
Dr Luca Di Stefano (Currently a university assistant at Technical University of Vienna)
Dr Shaun Azzopardi (Currently at the University of Malta)
Dr Mauricio Martel (Currently a postdoctoral researcher at Universität Koblenz-Landau)
Dr Yehia Abd Alrahman (Currently a senior lecturer at the University of Gothenburg)
Dr Giuseppe Perelli (Currently an assistant professor in Università di Roma, La Sapienza)
Dr Manuela Bujorianu (Currently in University College London)

Tools

Sweap
Recipe
BMA
T2

Teaching

• Games and Synthesis (EATCS Young Researchers School, Summer 2014)
• Models of Computation (Imperial College London, Spring 2010)
• Computability and Complexity (Imperial College London, Autumn 2008)
• Theoretical Computer Science III (EPFL, 2006-2007)
• Computer Aided Verification (EPFL, 2006)
• Theoretical Computer Science III (EPFL, 2005-2006)
• Problem Solving (EPFL, 2005)
• Advanced Topics in Automata (Weizmann, 2003)
• Advanced Topics in Computability (Weizmann, 2002)

• Principles of Concurrent Programming (Chalmers, Autumn 2019, Autumn 2020, Autumn 2021, Autumn 2022, Autumn 2023, Autumn 2024, Spring 2025)
• Advanced C++ Programming (restricted link) (University of Leicester, Autumn 2012, Autumn 2013, Autumn 2014, Autumn 2015, Autumn 2016, Autumn 2017)
• Discrete Event Systems (restricted link) (University of Leicester, Spring 2011, Spring 2012, Spring 2013, Spring 2014)
• Synthesis from Temporal Specifications with Applications in Robotics and Model-driven Development (University of Buenos Aires, Summer 2010)
• More teaching ...

Journals

I am editor in chief of Formal Methods in System Design.

I am an editor of Acta Informatica.

Events

• Highlights of Logic, Games, and Automata 2023 (Highlights 2023).
• 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023) - part of ETAPS 2023.
• 34th International Conference on Computer Aided Verification (CAV 2022) part of FLoC 2022.
• 15th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2022).
• 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022).
• 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021).
• 15th International Conference on Language and Automata Theory and Applications (LATA 2021).
• 31st International Conference on Concurrency Theory (Concur 2020).
• 14th International Conference on Language and Automata Theory and Applications (LATA 2020).
• 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020) - part of ETAPS 2020.
• 2nd International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2019) - part of CONCUR.
• 31st International Conference on Computer Aided Verification (CAV 2019).
• 30th International Conference on Computer Aided Verification (CAV 2018).
• 12th Haifa Verification Conference (HVC 2016).
• Strategic Reasoning (SR 2016) - adjoined workshop to LICS 2016.
• 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016)
• 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016).
• 11th Haifa Verification Conference (HVC 2015).
• 4th International Workshop on Hybrid Systems Biology (HSB 2015) - part of the Madrid Meet, which includes CONCUR, FORMATS, and QEST.
• 18th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2015).
• Highlights of Logic, Games, and Automata, 2014 .
• EATCS Young Researchers School on Automata, Logic, and Games, 2014 .
• Workshop on Synthesis (SYNT 2014) adjoined workshop to CAV 2014.
• 29th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2014) - part of Vienna Summer of Logic .
• 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014).
• Workshop on Synthesis (SYNT 2013) adjoined workshop to CAV 2013.
• Young Researchers Workshop on Concurrency Theory (YR-Concur 2013).
• 24th International Conference on Concurrency Theory (Concur 2013).
• 38th International Symposium on Mathematical Foundations of Computer Science (MFCS 2013).
• 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013).
• Young Researchers Workshop on Concurrency Theory (YR-Concur 2012).
• 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012).
• 3rd International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2012).
• Workshop on Synthesis (SYNT 2012) adjoined workshop to CAV 2012.
• International Conference on Computer Aided Verification (CAV 2012).
• International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012).
• Young Researcher - Concur adjoined workshop to Concur 2011.
• Formal Methods for Robotics and Automation adjoined workshop to CAV 2011.
• International Symposium on Temporal Representation and Reasoning (TIME 2011).

• 28th European Conference on Artificial Intelligence (ECAI 2025).
• 36th International Conference on Concurrency Theory (Concur 2025).
• 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024).
• 27th European Conference on Artificial Intelligence (ECAI 2024).
• More events ...