About
The Program
Overview & Mission
Facts and Numbers
Governance
People
Faculty and Researchers
Students
Alumni
Partners
Universities
Industry Affiliates
Industry Partners
Documents and Reports
Education
Overview
Dual Degree Ph.D.
Affiliated Ph.D. Programs
Visiting Students Program
Visiting Faculty and Researchers Program
Admissions and Scholarships
Previous Education Initiatives
Dual Degree M.Sc.
Ph.D. in Applied Mathematics
Ph.D. in Mechanical Engineering
Ph.D. in TCE
Alumni Chapter
FAQ
Research
Overview
Large Scale Collaborative Research Projects
Entrepreneurial Research Initiatives
Exploratory Research Projects
Previous Research Initiatives
Early Bird Projects
Lead Projects
Open Calls for Projects
Publications
Job opportunities
FAQ
Innovation
Overview
inRES
Startups
Media & Events
News
Events
Newsletters
Logo & Identity Standards
Contacts
About
The Program
Overview & Mission
Facts and Numbers
Governance
People
Faculty and Researchers
Students
Alumni
Partners
Universities
Industry Affiliates
Industry Partners
Documents and Reports
Education
Overview
Dual Degree Ph.D.
Affiliated Ph.D. Programs
Visiting Students Program
Visiting Faculty and Researchers Program
Admissions and Scholarships
Previous Education Initiatives
Dual Degree M.Sc.
Ph.D. in Applied Mathematics
Ph.D. in Mechanical Engineering
Ph.D. in TCE
Alumni Chapter
FAQ
Research
Overview
Large Scale Collaborative Research Projects
Entrepreneurial Research Initiatives
Exploratory Research Projects
Previous Research Initiatives
Early Bird Projects
Lead Projects
Open Calls for Projects
Publications
Job opportunities
FAQ
Innovation
Overview
inRES
Startups
Media & Events
News
Events
Newsletters
Logo & Identity Standards
Contacts
Academy
Search
Frank Pfenning
Affiliation:
Carnegie Mellon University
Department:
Department of Computer Science
Students supervised
Bernardo Toninho
Luiz Sá
Flávio Cruz
Faculty and Researchers
All Publications
We use cookies to ensure that we give you the best experience on our website. By using our website you agree to our Privacy Policy.
Ok
Read more
