Francesco Ranzato
- Type: Faculty
- Role: Professore Ordinario
- SSD: INFO-01/A
- Room: 6DA4
- Phone: 049 827 1369
- E-mail: ranzato@math.unipd.it
- Web page: http://www.math.unipd.it/~ranzato
- Research: https://www.research.unipd.it/cris/rp/rp19621
- Research Areas:
- Software engineering, programming languages and systems (Abstract interpretation; Software Verification; Program Analysis)
- Theoretical computer science, formal methods, automata (Program semantics; Formal verification; Model checking)
