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