The Team

Prof. Peter Y. A. Ryan, co-PI

  • The leader of the Luxembourgish part of the project. Key areas: information security, in particular coercion-resistant and voter-verifiable voting protocols.
  • Personal website

Prof. Wojciech Jamroga, co-PI

  • The leader of the Polish part of the project. Key areas: logical methods for specification and verification of multi-agent systems, as well as game-theoretic models of MAS.
  • Personal website

Prof. Wojciech Penczek

  • Key areas: models of distributed systems, multi-agent systems, modelling of knowledge and belief, temporal logics, automated verification, planning, and model checking of concurrent systems.
  • Personal website

Michał Knapik, PhD, research associate (postdoc)

  • Key areas: model checking for temporal and strategic logics; formal methods for multi-agent systems.
  • Personal website

Gabriele Lenzini, PhD

  • Key areas: modelling, analysis and design of secure and trustworthy systems, analysis of security in socio-technical systems.
  • Personal website

Damian Kurpiewski, MSc, PhD student

  • Key areas: modelling and analysis of complex systems, algorithms for model-checking, tool development.
  • Personal website

Teofil Sidoruk, MSc, PhD student

  • Key areas: state space reduction methods, model checking of multi-agent systems.

Yan Kim, MSc, PhD student

Prof. Marek Bednarczyk

  • Key areas: algorithms for parallel computation and automated search.

Tadeusz Puźniakowski, PhD

  • Key areas: algorithms for parallel computation and automated search.
  • Personal website

Publications and Software

Work in progress...