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

tumblr zero negativo
dblp publications
scholar citations

updates

11 apr 2015 The paper An Algebraic Theory for Web Service Contracts has been published in Formal Aspects of Computing. The conference version of this paper dates back to 2007!

26 mar 2015 The papers Types for Deadlock-Free Higher-Order Programs and Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi have been accepted respectively at FORTE'15 and COORDINATION'15.

6 dec 2014 Released Hypha 0.5. This is the first public version of the tool supporting deadlock and lock freedom analyses.

16 sep 2014 Released Hypha 0.4. Added decompilation of linear types into session types. Deadlock and lock analysis coming soon.

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

research activities

I'm a member of the research group on formal methods for software development. My main research interests concern the static analysis of concurrent, parallel and distributed programs and the enforcement of safety and liveness properties through type systems.

 read more

recent publications

 see all publications

software

I'm the principal developer of Hypha, a tool for the analysis of π-calculus processes: Hypha detects the linear usage of channels, it infers structured communication protocols (session types), and performs deadlock and lock freedom analysis.

Check out Hypha's home page.

 see all software

attivitą didattica (14/15) 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.

Skogafoss waterfall, Iceland

«... mai fare previsioni, specie se ottimistiche.»
Primo Levi (Se questo č un uomo)

 read more

made using LESS CSS XSLT 2.0 validate XHTML 1.1 CSS 3 URLs modified Wed, 17 Jun 2015Flag Counter