Theoretical computer science, formal methods, automata
Faculty
- Paolo Baldan
- Davide Bresolin (Temporal Logic; Model Checking; Automata Theory)
- Silvia Crafa (Formal methods and theory of programming languages; Formal methods for smart contracts and blockchan technologies)
- Francesco Gavazzo (semantics of programming languages ; logical foundations of programming languages)
- Francesco Ranzato (Program semantics; Formal verification; Model checking)
- Michele Scquizzato
Ph.D. Students
- Diletta Rigo (Program Logics; Abstract Interpretation)
