Get my own profile

Public access

View all28 articles

0 articles

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
- David WalkerPrinceton UniversityVerified email at cs.princeton.edu
- Karl CraryCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Conal ElliottVerified email at conal.net
- Dan NesmithVerified email at millimark.net
- Robert J. SimmonsCarnegie Mellon University (formerly)Verified email at cs.cmu.edu
- Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerified email at inria.fr
- Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
- Brigitte PientkaMcGill UniversityVerified email at cs.mcgill.ca
- Jan HoffmannCarnegie Mellon UniversityVerified email at cmu.edu
- Stephanie BalzerCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Kaustuv ChaudhuriINRIAVerified email at chaudhuri.info

Follow

Frank Pfenning

Professor of Computer Science, Carnegie Mellon University

Verified email at cs.cmu.edu - Homepage