di.unito.it / luca padovani

contact information

position assistant professor

at Universitą di Torino
Dipartimento di Informatica
show on map

address Corso Svizzera 185
10149 Torino
office 7 ex lab

phone +39 011 670 6777

tumblr zero negativo
dblp Padovani:Luca


6 dec 2014 Released Hypha 0.5. This is the first public version of the tool supporting deadlock and lock freedom analyses.

5 nov 2014 I'm a PC member of ICE'15.

30 sep 2014 ESOP'15 has a new home page, the deadline for submitting papers is 17 Oct 2014.

16 sep 2014 Released Hypha 0.4. Added decompilation of linear types into session types. Deadlock and lock analysis coming soon.

13 aug 2014 Released Hypha 0.3.

30 jun 2014 The slides of my lectures at BETTYSS'14 are available here.

29 mar 2014 The paper Deadlock and Lock Freedom in the Linear π-Calculus has been accepted at CSL-LICS'14.

29 mar 2014 I'm a PC member of ESOP'15.

10 mar 2014 The paper Typing Liveness in Multiparty Communicating Systems co-written with Hugo Torres Vieira and Vasco Thudichum Vasconcelos has been accepted at COORDINATION'14.


I work in the formal methods group at the CS department of the University of Torino. I'm interested in several aspects concerning the static analysis of concurrent, parallel and distributed systems, such as behavioral types, contracts, effects, subtyping, refinement and conformance relations, type inference, type reconstruction.





Hypha is a tool for the analysis of π-calculus processes: it detects the linear usage of channels, it infers structured communication protocols (session type reconstruction), and it also performs deadlock and lock freedom analysis. Hypha is implemented in Haskell.

Check out Hypha's home page.


didattica / teaching

Nell'A.A. 2014/2015 insegno:

Ricevimento studenti su appuntamento. Inviare e-mail a .

 di pił


In my personal section you'll find pictures of my trips, quotes I like, and a few more links.

Polar bears in Churchill, Manitoba

Niagara falls

Skogafoss waterfall, Iceland


made using LESS CSS XSLT 2.0 validate XHTML 1.1 CSS 3 URLs modified Sat, 06 Dec 2014Flag Counter