avatar

Luca Di Stefano

  • University assistant (Post-doc)
  •  • 
  • Technische Universität Wien
My research focuses on the specification of complex collective systems (such as multi-agent systems, robot swarms, stigmergies, and so on) and their analysis via state-of-the-art verification techniques.
Interests. Software verification, Model checking, Multi-agent systems, Formal semantics, Process calculi

News [archive]

Curriculum Vitae [pdf]

Teaching

Projects

Publications

2024
2023
2022
2021
2020
2018
2017

Preprints and Technical Reports

2023