Get my own profile
Co-authors
- Anindya BanerjeeProfessor, IMDEA Software InstituteVerified email at imdea.org
- Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
- Peter O'HearnLacework and University College LondonVerified email at ucl.ac.uk
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
- John ReppyProfessor of Computer Science, University of ChicagoVerified email at cs.uchicago.edu
- Didier RémyINRIAVerified email at inria.fr
- Eugenio MoggiProfessor of Computer Science, Genova UniversityVerified email at unige.it
- Achim JungProfessor of Computer Science, University of Birmingham, UKVerified email at cs.bham.ac.uk
- Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaVerified email at unige.it
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceVerified email at cl.cam.ac.uk
- Hayo ThieleckeUniversity of BirminghamVerified email at cs.bham.ac.uk
- Kathleen FisherAdjunct Professor of Computer Science, Tufts UniversityVerified email at eecs.tufts.edu
- Anders Thorhauge SandholmGoogleVerified email at sandholm.dk
- Stavros CosmadakisUniversity of PatrasVerified email at cti.gr
- Kim BruceEmeritus Professor of Computer Science, Pomona CollegeVerified email at pomona.edu