Luca Padovani
position associate professor
at Università di Torino
Dipartimento di Informatica
address Corso Svizzera 185
10149 Torino
Italy
show on map
office 7 ex lab
e-mail
phone +39 011 670 6777
Skype CALL CHAT ADD
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 dedicated section.

Research

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.

Read more

Publications

Read more

Software

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

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

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.

Insegnamento it

Corso di Laurea in Informatica

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

Altro

Attività istituzionali it

Open Access (referente Dipartimento di Informatica)

Risorse bibliografiche (membro commissione)

Studenti collaboratori (membro commissione)

Made with LESS, CSS, XSLT 2.0, Bootstrap, Open Sans, and Font Awesome. Validate HTML and CSS 3. Check URLs.Modified Fri, 22 Jul 2016.Flag Counter