Marco Giunti DI-FCUL
Email: mgiunti{change}fc.ul.pt

Present and past groups: LASIGE, ULisboa; NOVA LINCS, UNOVA; RELEASE, UBI; COMETE, Ecole Polytechnique

My main interest is to study language-based techniques for the analysis and deployment of correct distributed mobile systems

Keywords: session types, deadlocks, program transformation, pi calculus, network security

Papers

Source Code

Projects and Collaborations

Links

Last update: November 2016