Frank Pfenning is affiliated with Carnegie Mellon University in the United States. Their research primarily spans the field of Computer Science, with significant contributions to Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications, Hardware and Architecture, and Software.
The main focus of their scientific work lies in logic, programming, and type systems, with extensive involvement in formal methods in verification. Additional research topics include logic, reasoning, and knowledge, distributed systems and fault tolerance, parallel computing and optimization techniques, model-driven software engineering techniques, and semantic web and ontologies.
Frequent coauthors in their research collaborations include Ankush Das, Henry DeYoung, Andreia Mordido, Klaas Pruiksma, and Zhibo Chen.
Frank Pfenning's recent publications include:
Frequent venues where Frank Pfenning has published include:
Frank Pfenning's contributions have been recognized through awards such as the ACM Fellow in 2015 for contributions to the logical foundations of automatic theorem proving and types for programming languages, and ACM Senior Member status awarded in 2007.
F. Pfenning;C. Elliott
D. Miller;G. Nadathur;F. Pfenning;A. Scedrov
F. Pfenning;C. Schürmann
Hongwei Xi;Frank Pfenning
Rowan Davies;Frank Pfenning
Tim Freeman;Frank Pfenning
Frank Pfenning;Rowan Davies
Luís Caires;Frank Pfenning
Iliano Cervesato;Frank Pfenning
Hongwei Xi;Frank Pfenning
Aleksandar Nanevski;Frank Pfenning;Brigitte Pientka
Frank Pfenning
Frank Pfenning
Unknown
Frank Pfenning
Kevin Watkins;Iliano Cervesato;Frank Pfenning;David Walker
Frank Pfenning
F. Pfenning
Frank Pfenning
F. Pfenning
Sungwoo Park;Frank Pfenning;Sebastian Thrun
If you think any of the details on this page are incorrect, let us know.
Exploring Computer Science in the USA opens up a range of diverse online degree options and future careers. If you’re looking to align your studies with emerging job markets, consider reviewing the best degrees for the future. These majors offer strong career prospects and long-term stability.
For those seeking a smoother academic path, some programs are known as easy masters degrees. These online master’s degrees focus on flexibility and manageable coursework, making them more accessible for busy professionals or career changers.
Affordability is another essential factor to consider. Fortunately, there are high-quality options among the cheapest phd programs online, helping students earn an advanced credential without excessive debt.
If you’re interested in educational leadership or academic careers, you can also explore online edd programs. Some fast-track EdD programs allow graduates to earn their degree in less time, accelerating their entry into academia or leadership roles.
French Institute for Research in Computer Science and Automation - INRIA
Publications: 117
National University of Singapore
Pancosma
National University of Singapore
Temple University
University of Otago
Technical University of Munich
University of Wisconsin–Madison
University of California, San Francisco
Hunan University
University of Illinois at Urbana-Champaign
Colorado State University
Portland State University
KU Leuven
Harvard University
Cleveland State University
Korea Advanced Institute of Science and Technology
