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
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerified email at cmu.edu
- Ferruccio GuidiUniversity of BolognaVerified email at cs.unibo.it
- Luca RoversiProfessor of Computer Science, Università di TorinoVerified email at di.unito.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 GarillotLurk LabVerified email at garillot.net
- 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
- James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSVerified email at bath.ac.uk
- 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 MulliganPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.co.uk
- Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'AzurVerified 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