«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
office 7 ex lab

phone +39 011 670 6777

linkedin lucapadovani
tumblr zero negativo


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.
13 Feb 2014 The 1st International Summer School on Behavioural Types (BETTYSS'14) has been announced. I'll be teaching a short course on behavioral subtyping.
made with LESS CSS validate XHTML 1.1 CSS 3 URLs modified Sat, 16 Aug 2014Flag Counter