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

conferences, workshops & schools

recent projects

past projects

co-authors

ABCD
Journal | Proceedings | Chapter | Report
51313
single author
2800
Giuseppe Castagna
1800
Claudio Sacerdoti Coen
1700
Andrea Asperti
2510
Mariangiola Dezani-Ciancaglini
1700
Irene Schena
2500
Cosimo Laneve
1300
Viviana Bono
1210
Mario Coppo
1210
Nobuko Yoshida
1200
Nils Gesbert
1101
Svetlana Jakšić
0201
Andrea Tosatto
0201
Stefano Zacchiroli
0101
Matteo Baldoni
0101
Cristina Baroglio
0101
Federico Bergenti
0101
Antonio Boccalatte
1100
Samuele Carpineti
1100
Paolo Casarini
0101
Tzu-Chun Chen
0101
Silvia Crafa
0101
Ferruccio Damiani
1100
Ferruccio Guidi
0101
Elisa Marengo
0101
Maurizio Martelli
0101
Viviana Mascardi
0101
Luca Novara
0101
Viviana Patti
0101
Alessandro Ricci
0101
Gianfranco Rossi
0101
Andrea Santi
0101
Ina Schaefer
0001
Philippe Audebaud
0100
Marco Bernardo
0100
Nadia Busi
0100
Elena Giachino
0100
Hyeonseung Im
0100
Sergueï Lenglet
0100
Stephen M. Watt
0100
Chiara Messa
0001
Hanane Naciri
0100
Kim Nguyễn
0100
Jovanka Pantović
0100
Riccardo Solmi
0100
Vasco Thudichum Vasconcelos
0100
Hugo Torres Vieira
0100
Yuzhen Xie
0100
Zhiwu Xu

words of wisdom

 read more

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