Luca Padovani

Full Professor

Department of Computer Science and Engineering

Academic discipline: INFO-01/A Informatics

Research

Keywords: Type systems Behavioral types Concurrent and distributed systems Process algebras Formal software verification