Diletta Rigo
- Tipologia: Dottorandi
- Stanza: 7D1 (ex 721)
- Telefono: 049 827 1262 / 1263
- E-mail: diletta.rigo@math.unipd.it
- Ricerca: https://www.research.unipd.it/cris/rp/rp203261
- Aree di Ricerca:
- Theoretical computer science, formal methods, automata (Program Logics; Abstract Interpretation)
