avatar

Luca Di Stefano

  • Post-doctoral researcher, University of Gothenburg and Chalmers

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.

NEWS From March 2023 I will join the Cyber Physical Systems research unit at TU Wien, Vienna, Austria. I am truly thankful to Nir for my stay at GU/Chalmers and wish all my colleagues at CSE enduring success in their research endeavours.

You can follow me at my new Web page. Vi ses! :)


Interests. Software verification, Model checking, Multi-agent systems, Formal semantics, Process calculi

Curriculum Vitae [pdf]

Teaching

Projects

Publications

2023
2022
2021
2020
2018
2017

Preprints and Technical Reports

2023