Luca Padovani


+39 011 670 6777
boystrange

Associate professor at the Computer Science Department of the University of Torino.
Reseacher in programming languages, type systems and concurrency theory.
Member and contact person of the FORMS research group.

DBLP Scholar Scopus BibTeX

NEWS

teaching

this section is in italian

Il ricevimento studenti avviene il lunedì dalle 13:00 alle 14:00 (nei periodi di lezione) oppure su appuntamento da concordare via email. Nell'A.A. 2017-2018 insegno:

RESEARCH PROJECTS

SOFTWARE

Here is the list of software that I recently developed as part of my research activities:

papers

mailbox types

papers

typestate-oriented programming

papers

sessions and session types

papers

software product lines

papers

fair subtyping

papers

progress of multiparty sessions

papers

linear π-calculus

papers

copyless message passing

papers

contracts for Web services

papers

miscellaneous topics

papers

XML and MathML

BOOK CHAPTERS

EDITED BOOKS

TECHNICAL REPORTS