Get my own profile

Public access

View all20 articles

0 articles

available

not available

Based on funding mandates

### Co-authors

- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cmu.edu
- Luis CairesProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt
- Bernardo ToninhoUniversidade Nova de LisboaVerified email at fct.unl.pt
- Carsten SchürmannComputer Science, IT University of CopenhagenVerified email at itu.dk
- Hongwei XiBoston UniversityVerified email at cs.bu.edu
- Rowan DaviesSoftware Engineer, Commonwealth Bank of AustraliaVerified email at cba.com.au
- Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
- Karl CraryCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Dale MillerDirector of Research (DRCE), INRIAVerified email at inria.fr
- David WalkerPrinceton UniversityVerified email at cs.princeton.edu
- Conal ElliottTargetVerified email at conal.net
- Gopalan NadathurProfessor of Computer Science and Engineering, University of MinnesotaVerified email at cs.umn.edu
- Robert J. SimmonsCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
- Ankush DasPhD student of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Brigitte PientkaMcGill UniversityVerified email at cs.mcgill.ca
- Kaustuv ChaudhuriINRIAVerified email at chaudhuri.info
- Lujo BauerCarnegie Mellon UniversityVerified email at cmu.edu
- Michael ReiterProfessor, Duke UniversityVerified email at duke.edu
- Sebastian ThrunStanfordVerified email at stanford.edu

Frank Pfenning

Professor of Computer Science, Carnegie Mellon University

Verified email at cs.cmu.edu - Homepage