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 5
Pietro Di Gianantonio
Associate Professor
Semantics of programming languages, type theory, probabilistic computation
Vincenzo Riccio
Associate Professor
Software testing, testing of deep-learning systems, self-adaptive systems
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