Get my own profile
Co-authors
Claudio Sacerdoti CoenUniversity of BolognaVerified email at unibo.it
Stefano ZacchiroliUniversité de Paris and Inria, FranceVerified email at irif.fr
Ferruccio GuidiUniversity of BolognaVerified email at cs.unibo.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
Enrico TassiUniversita' della Calabria and INFNVerified email at fis.unical.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
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; Vice-President, BCSVerified email at bath.ac.uk
Agata CiabattoniVienna University of TechnologyVerified email at logic.at
Herman GeuversRadboud University Nijmegen, the NetherlandsVerified email at cs.ru.nl
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
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 MulliganStaff Research Engineer, Arm ResearchVerified email at arm.com
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é de ParisVerified email at univ-paris-diderot.fr