Luca Di Stefano
Univ.Ass. / PhD
Research Areas
- Agent Based Modelling, Reactive synthesis, Formal Methods, model checking, Software Verification
About
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.
Role
-
PostDoc Researcher
Cyber-Physical Systems, E191-01