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

phone +39 011 670 6777

linkedin lucapadovani
tumblr zero negativo


30 Jun 2014NEW 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.
05 Oct 2013 Check out Hypha, a tool to reconstruct types for the linear π-calculus with composite and equi-recursive types. There is also an accompanying paper.
modified on Wed, 16 Jul 2014Flag Counter
«Laugh, and the world laughs with you. Weep, and you weep alone.»
Ella Wheeler Wilcox