«It is far better to grasp the Universe as it really is than to persist in delusion, however satisfying and reassuring.»

luca padovani

position assistant professor

show on map

address Corso Svizzera 185
10149 Torino
office 7 ex lab

phone +39 011 670 6777
My status { add | call | chat with } me

zero negativo


29 Mar 2014NEW The paper has been accepted at .
29 Mar 2014 I'm a PC member of .
10 Mar 2014 The paper has been accepted at .
13 Feb 2014 The 1st International Summer School on Behavioural Types () 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.
12 Apr 2013 The paper has been accepted at .

about this page

{less} Made With Cascading Stylesheets Valid CSS! Valid XHTML 1.1! CHECK LINKS Flag Counter last updated Sun, 20 Apr 2014