Marco Giunti NOVA LINCS
Email: marco.giunti{change}gmail.com

Past groups: LASIGE, ULisboa; 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: pi calculus, behavioural types, deadlock analysis, distributed concurrency control security, ocaml, coq, why3

Papers

Source Code

Projects

Links

Last update: May 2020