Department of Computer and Information Science, University of
Pennsylvania.
There has been several collaborations in the past.
Presently M. Gaboardi is a long-term visiting
researcher in the programming language group, working on
resource control and programming languages.