Marco Giunti DI-FCUL
Email: mgiunti{change}

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


Source Code

Projects and Collaborations


Last update: November 2016