A photo portrait of Luca Di Stefano

Luca Di Stefano

  • Post-doctoral researcher (CONVECS team), INRIA and LIG, Grenoble
My research focuses on the specification and analysis of complex collective systems (such as multi-agent systems, robot swarms, stigmergies, and so on) and their verification via state-of-the-art verification techniques.
Interests. Software verification, Model checking, Multi-agent systems, Formal semantics, Process calculi

Curriculum Vitae

Teaching

Projects

Publications

2021
2020
2018
2017