«Laugh, and the world laughs with you. Weep, and you weep alone.»
Ella Wheeler Wilcox

luca padovani

position assistant professor

affiliation Universitą di Torino
Dipartimento di Informatica
show on map

address Corso Svizzera 185
10149 Torino
Italy
office 7 ex lab

e-mail
phone +39 011 670 6777
skype CALL CHAT ADD

linkedin lucapadovani
tumblr zero negativo

updates

16 Sep 2014 Released Hypha 0.4. Added support for 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 has been accepted at COORDINATION'14.
made with LESS CSS validate XHTML 1.1 CSS 3 URLs modified Tue, 16 Sep 2014Flag Counter