Get my own profile

### 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
- Carsten SchürmannComputer Science, IT University of CopenhagenVerified email at itu.dk
- Bernardo ToninhoUniversidade Nova de LisboaVerified email at fct.unl.pt
- Hongwei XiBoston UniversityVerified email at cs.bu.edu
- Rowan DaviesSoftware Engineer, Commonwealth Bank of AustraliaVerified email at cba.com.au
- Karl CraryCarnegie Mellon UniversityVerified email at cs.cmu.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
- Dale MillerDirector of Research, INRIAVerified email at inria.fr
- Robert J. SimmonsCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Conal ElliottTargetVerified email at conal.net
- Gopalan NadathurProfessor of Computer Science and Engineering, University of MinnesotaVerified email at cs.umn.edu
- Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
- Kaustuv ChaudhuriINRIAVerified email at chaudhuri.info
- Brigitte PientkaMcGill UniversityVerified email at cs.mcgill.ca
- Lujo BauerCarnegie Mellon UniversityVerified email at cmu.edu
- Michael ReiterLawrence M. Slifkin Distinguished Professor, University of North Carolina at Chapel HillVerified email at duke.edu
- Sebastian ThrunStanfordVerified email at stanford.edu
- Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu

Frank Pfenning

Professor of Computer Science, Carnegie Mellon University

Verified email at cs.cmu.edu - Homepage