Name:Luca Padovani

Country:Italy

Affiliation:Department of Computer Science and Engineering - Università di Bologna

Research interests:programming languages, type systems, concurrency theory, distributed computing, formal verification