Get my own profile
Public access
View all26 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Luis CairesProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cmu.edu
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
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Rowan DaviesStaff Engineer, Commonwealth Bank of AustraliaVerified email at cba.com.au
Ankush DasApplied Scientist at Amazon AWSVerified email at amazon.com
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
Conal ElliottVerified email at conal.net
Karl CraryCarnegie Mellon UniversityVerified email at cs.cmu.edu
Gopalan NadathurProfessor of Computer Science and Engineering, University of MinnesotaVerified email at cs.umn.edu
Robert J. SimmonsBrilliant.org, formerly Carnegie Mellon UniversityVerified email at cs.cmu.edu
Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
Brigitte PientkaMcGill UniversityVerified email at cs.mcgill.ca
Kaustuv ChaudhuriINRIAVerified email at chaudhuri.info
Stephanie BalzerCarnegie Mellon UniversityVerified email at cs.cmu.edu
Jan HoffmannCarnegie Mellon UniversityVerified email at cmu.edu
Follow
Frank Pfenning
Professor of Computer Science, Carnegie Mellon University
Verified email at cs.cmu.edu - Homepage