Get my own profile
Public access
View all29 articles
1 article
available
not available
Based on funding mandates
Co-authors
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Bernardo ToninhoUniversidade Nova de LisboaVerified email at fct.unl.pt
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cmu.edu
Carsten SchürmannComputer Science, IT University of CopenhagenVerified email at itu.dk
Hongwei XiBoston UniversityVerified email at cs.bu.edu
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Rowan DaviesCrew Tech Lead/Principal Engineer, Commonwealth Bank of AustraliaVerified email at cba.com.au
Ankush DasAssistant Professor, Boston UniversityVerified email at bu.edu
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Conal ElliottVerified email at conal.net
Karl CraryCarnegie Mellon UniversityVerified email at cs.cmu.edu
Jan HoffmannCarnegie Mellon UniversityVerified email at cmu.edu
David WalkerPrinceton UniversityVerified email at cs.princeton.edu
Dan NesmithVerified email at millimark.net
Brigitte PientkaMcGill UniversityVerified email at cs.mcgill.ca
Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerified email at inria.fr
Robert J. SimmonsCarnegie Mellon University (formerly)Verified email at cs.cmu.edu
Kaustuv ChaudhuriINRIAVerified email at chaudhuri.info
Stephanie BalzerCarnegie Mellon UniversityVerified email at cs.cmu.edu
Follow
Frank Pfenning
Professor of Computer Science, Carnegie Mellon University
Verified email at cs.cmu.edu - Homepage