Get my own profile
Public access
View all1 article
0 articles
available
not available
Based on funding mandates
Co-authors
Claudio Sacerdoti CoenUniversity of BolognaVerified email at unibo.it
Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceVerified email at telecom-paris.fr
Enrico TassiProfessor of Physics, Physics Department, University of Calabria, Italy & INFN CosenzaVerified email at fis.unical.it
Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerified email at cmu.edu
Luca RoversiProfessor of Computer Science, Università di TorinoVerified email at di.unito.it
Ferruccio GuidiUniversity of BolognaVerified email at cs.unibo.it
Alexey SolovyevResearch Associate of Computer Science, University of UtahVerified email at cs.utah.edu
Georges GonthierPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
François GarillotFacebookVerified email at garillot.net
Herman GeuversRadboud University Nijmegen, the NetherlandsVerified email at cs.ru.nl
Agata CiabattoniVienna University of TechnologyVerified email at logic.at
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerified email at ens.fr
Paolo CoppolaAssociate Professor of Computer Science, University of UdineVerified email at uniud.it
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSVerified email at bath.ac.uk
Andrea CorradiniProfessor of Computer Science, University of PisaVerified email at di.unipi.it
Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerified email at pps.univ-paris-diderot.fr
Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.co.uk
Nicholas AyacheResearch Director at INRIAVerified email at inria.fr
George GoguadzeResearcher at Leuphana University LüneburgVerified email at leuphana.de
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéVerified email at irif.fr