di.unito.it / luca padovani

contact information

position associate professor

at Universitą di Torino
Dipartimento di Informatica
show on map

address Corso Svizzera 185
10149 Torino
Italy
office 7 ex lab

e-mail
phone +39 011 670 6777
skype CALL CHAT ADD

dblp publications
scholar citations

updates

29 jan 2016 This year's summer school on behavioural types will be held in Limassol, Cyprus. More information, including the provisional list of lecturers, is available at BETTYSS'16.

4 jan 2016 Released Hypha 0.6 with substantial performance improvements.

15 oct 2015 I'm serving as PC member of FORTE'16.

30 sep 2015 Released FuSe 0.1, a lightweight implementation of binary sessions that enables session type checking and inference using an out-of-the-box installation of OCaml.

3 aug 2015 The Chemical Approach to Typestate-Oriented Programming, my first paper co-written with Silvia Crafa, has been accepted at OOPSLA'15.

29 mar 2014 The paper Deadlock and Lock Freedom in the Linear π-Calculus has been accepted at CSL-LICS'14.

research

My research areas include programming languages, type systems, concurrency theory, parallel computing.

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

 read more

publications

 see all publications

software

FuSe is a lightweight implementation of binary sessions in OCaml that enables session type checking and inference.

Hypha is a π-calculus analyzer: Hypha detects the linear usage of channels, it infers structured communication protocols (session types), and performs deadlock and lock freedom analysis.

 see all software

didattica xxx

Ricevimento studenti su appuntamento.

 tutti i corsi, tesi e tirocini

attivitą istituzionali xxx

Open Access (referente)

Risorse bibliografiche (membro comm.)

Studenti collaboratori (membro comm.)

personal

You'll find pictures of my trips, quotes I like, and a few more links in my personal section.

My October Symphony

«...e il naufragar m'č dolce in questo mare.»
Giacomo Leopardi (L'infinito)

 read more

made using LESS CSS XSLT 2.0 validate XHTML 1.1 CSS 3 URLs modified Fri, 29 Jan 2016Flag Counter