Get my own profile
Co-authors
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Luis CairesProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt
Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
Nobuko YoshidaDepartment of Computing, Imperial College LondonVerified email at doc.ic.ac.uk
Julien LangeDepartment of Computer Science, Royal Holloway, University of LondonVerified email at rhul.ac.uk
Nicholas NgMonzoVerified email at monzo.com
Robert J. SimmonsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
Jovanka PantovicUniversity of Novi SadVerified email at uns.ac.rs
Peter ThiemannProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-Freiburg.de
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
Pierre-Malo DeniélouGoogle IncVerified email at denielou.pm
Hugo Torres VieiraUniversidade da Beira InteriorVerified email at ubi.pt
Ilaria CastellaniResearcher in Theoretical Computer Science, INRIA, FranceVerified email at inria.fr
Silvia GhilezanUniversity of Novi SadVerified email at uns.ac.rs
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
