Get my own profile
Public access
View all15 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Nobuko YoshidaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
Julien LangeDepartment of Computer Science, Royal Holloway, University of LondonVerified email at rhul.ac.uk
Nicholas NgMonzoVerified email at monzo.com
Stephanie BalzerCarnegie Mellon UniversityVerified email at cs.cmu.edu
Robert J. SimmonsCarnegie Mellon University (formerly)Verified email at cs.cmu.edu
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Raymond HuQueen Mary University of LondonVerified email at qmul.ac.uk
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 VieiraEvidence SrlVerified email at evidence.eu.com
Ilaria CastellaniResearcher in Theoretical Computer Science, INRIA, FranceVerified email at inria.fr
Silvia GhilezanUniversity of Novi SadVerified email at uns.ac.rs
Joao Costa SecoNOVA LINCS - Universidade Nova de LisboaVerified email at fct.unl.pt
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu