Luca Padovani
position associate professor
at Università di Torino
Dipartimento di Informatica
address Corso Svizzera 185
10149 Torino
show on map
office 7 ex lab
phone +39 011 670 6777
DBLP publications
Scholar citations
My October Symphony

You'll find a list of quotes I like and a few more details about my personal interests in a separate section.

Read more


My research is in the areas of markup and programming languages, type systems, concurrency theory, parallel computing.

I'm the contact person of the FORMS research group at Dipartimento di Informatica, Università di Torino.

I'm chair of the Working Group on Programming Languages in the ICT COST Action IC1201 BETTY.

Read more

Insegnamento it

Corso di Laurea in Informatica

Il ricevimento studenti avviene su appuntamento oppure il lunedì dalle 13 alle 14 e comunque previa richiesta via e-mail con almeno un giorno di anticipo.


Attività istituzionali it

Open Access (referente Dipartimento di Informatica)

Risorse bibliografiche (membro commissione)

Studenti collaboratori (membro commissione)


Read more


FuSe is a lightweight OCaml implementation of binary sessions featuring session type checking and inference.

Hypha is a type reconstruction tool for the linear π-calculus featuring deadlock and lock freedom analysis.

Read more

Recent updates

16 may 2016 I'm serving as a PC member of NOOL'16.

7 apr 2016 Released FuSe 0.4 with further API cleanup, new examples, simplified session iterators, and a tutorial.

30 mar 2016 The paper On Sessions and Infinite Data, written with Paula, Emilio and Mariangiola, has been accepted at COORDINATION'16. Two new co-authors!

4 jan 2016 Released Hypha 0.6 with substantial performance improvements.

Made with LESS, CSS, XSLT 2.0, Bootstrap, Open Sans, and Font Awesome. Validate HTML and CSS 3. Check URLs.Modified Mon, 16 May 2016.Flag Counter