Francesco Ranzato
- Tipologia: Docenti Afferenti
- Qualifica: Professore Ordinario
- SSD: INFO-01/A
- Stanza: 6DA4
- Telefono: 049 827 1369
- E-mail: ranzato@math.unipd.it
- Web page: http://www.math.unipd.it/~ranzato
- Ricerca: https://www.research.unipd.it/cris/rp/rp19621
- Aree di Ricerca:
- Software engineering, programming languages and systems (Abstract interpretation; Software Verification; Program Analysis)
- Theoretical computer science, formal methods, automata (Program semantics; Formal verification; Model checking)
