di.unito.it / luca padovani / research

research interests

My current research regards the description and analysis of concurrent and distributed systems. I'm interested in process algebras with and without mobility (CCS, CSP, ᴨ-calculus, Join-Calculus) and other models of concurrency (Petri nets). Most of my research is about behavioral types, namely contracts and session types, and static forms of analysis for enforcing various safety properties (absence of communication errors, orphan messages, etc.) and liveness properties (progress, lock freedom, etc.). I'm interested in semantically grounded refinement and subtyping relations, such as must and fair testing. I have contributed to the implementation of some concurrent and distributed languages, in particular JCB (an implementation of the distributed Join-Calculus) and PiDuce (an extension of the π-calculus with XML datatypes and Web service integration).

In the past I have worked on the application of XML technologies to the representation, distribution, and presentation of formalized mathematics on the Web. In particular, on rendering scientific/technical documents with embedded MathML fragments. This led to the development of GtkMathView, a multi-purpose rendering engine for MathML which has been used in the HELM and Matita projects, as well as by the John Wiley & sons publisher for the production of online encyclopedias and scientific textbooks.

When I used to have some spare time (which is no longer the case), I also enjoyed studying, designing, and implementing functional programming languages. This interest has culminated in the (never finished, but working) Carbon compiler.

positions

events

recent projects

past projects

co-authors

Number of co-authored works on the left:

10
Giuseppe Castagna
9
Claudio Sacerdoti Coen
8
Andrea Asperti
8
Mariangiola Dezani-Ciancaglini
8
Irene Schena
7
Cosimo Laneve
4
Viviana Bono
4
Mario Coppo
4
Nobuko Yoshida
3
Nils Gesbert
3
Svetlana Jakšić
3
Andrea Tosatto
3
Stefano Zacchiroli
2
Matteo Baldoni
2
Cristina Baroglio
2
Federico Bergenti
2
Antonio Boccalatte
2
Samuele Carpineti
2
Paolo Casarini
2
Tzu-Chun Chen
2
Ferruccio Damiani
2
Ferruccio Guidi
2
Elisa Marengo
2
Maurizio Martelli
2
Viviana Mascardi
2
Luca Novara
2
Viviana Patti
2
Alessandro Ricci
2
Gianfranco Rossi
2
Andrea Santi
2
Ina Schaefer
1
Philippe Audebaud
1
Marco Bernardo
1
Nadia Busi
1
Silvia Crafa
1
Elena Giachino
1
Hyeonseung Im
1
Sergueï Lenglet
1
Stephen M. Watt
1
Chiara Messa
1
Hanane Naciri
1
Kim Nguyễn
1
Jovanka Pantović
1
Riccardo Solmi
1
Vasco Thudichum Vasconcelos
1
Hugo Torres Vieira
1
Yuzhen Xie
1
Zhiwu Xu

words of wisdom

 read more

made using LESS CSS XSLT 2.0 validate XHTML 1.1 CSS 3 URLs modified Fri, 15 May 2015Flag Counter