Marino Miculan
Full Professor · Head & founder
Security of protocols and industrial systems, formal models of concurrency, bigraphs
Team
People
Faculty, researchers and students who make MADS a lively place to do research.
Faculty 6
Marco Comini
Associate Professor
Formal methods, Abstract Interpretation, Semantics of programming languages
Pietro Di Gianantonio
Associate Professor
Semantics of programming languages, type theory, probabilistic computation
Vincenzo Riccio
Associate Professor
Software testing, testing of deep-learning and autonomous driving systems, generative AI for testing
Research fellows & postdocs 1
PhD students 4
Students 2
Want to see your name here?
We are always looking for motivated students and researchers.
Alumni 26
Former members of the lab, now in academia and industry around the world.
- Matteo SpadettoPostdoc (2024–2025)
- Davide CastelnovoPhD (cycle XXXV, 2019–2023)
- Claude StolzePostdoc (2020–2022)
- Michele PasquaPostdoc (2020–2021)
- Marco PeressottiPhD (cycle XXVIII, 2013–2016)
- Giorgio BacciPhD (cycle XXIV, 2009–2012)
- Carlo MaieroResearch fellow (2010–2011)
- Luca CampaMSc
- Davide GrohmannPhD (cycle XXIII, 2007–2009)
- Alessio MansuttiMSc
- Emanuele D’OsualdoMSc
- Caterina UrbanMSc
- Marco PaviottiMSc
- Matteo CicuttinMSc
- Daniel TosoneMSc
- Alessio ChiapperiniMSc
- Marco FlorianMSc
- Marco CossuttaMSc
- Fabio BurcoMSc
- Luca GeattiMSc
- Federico IgneMSc
- Alessandro SaleriMSc
- Hristina StevanovskaBSc
- Andrea Toneguzzo
- Marco Romanelli
- Ilaria Sambarino