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
Recent updates

10 aug 2016 Released FuSe 0.5 with the rosetta type pretty printer and a monadic interface.

26 jul 2016 I'm serving as a PC member of NOOL'16. Make sure you check out the call for papers and participation.

21 jul 2016 The state-of-the-art report for WG3 of BETTY has been published in Foundations and Trends in Programming Languages.

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.

Research More

My research is in the areas of 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.

Publications More

Software More

FuSe is a lightweight OCaml implementation of binary sessions. It supports delegation, equi-recursive and polymorphic session types, session subtyping, and allows the OCaml compiler to perform session type checking and inference.

Hypha is a type reconstruction tool for the linear π-calculus featuring linearity analysis on composite regular types, session type reconstruction, deadlock and lock freedom analysis.

Insegnamento it Altro

Corso di Laurea in Informatica

Il ricevimento studenti avviene su appuntamento previa richiesta via e-mail.

Attività istituzionali it

Open Access (referente Dipartimento di Informatica)

Risorse bibliografiche (membro commissione)

Studenti collaboratori (membro commissione)

Personal More

You'll find quotes I like and hints to my personal interests in a dedicated section.

My October Symphony
Made with LESS, CSS, XSLT 2.0, Bootstrap, Open Sans, and Font Awesome. Validate HTML and CSS 3. Check URLs.Modified Wed, 10 Aug 2016.Flag Counter