연구실 목록
Frank Pfenning 교수 연구 프로필
카네기멜런 대학교 · 컴퓨터과학과
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
소개
카네기멜런 대학교 컴퓨터과학과 소속 Frank Pfenning 교수의 등록된 연구 분야는 Programming Languages, Pure and Applied Logic, Formal Methods입니다.
연구 키워드
Programming LanguagesPure and Applied LogicFormal Methods
같은 학과의 다른 연구실
- Aayush Jain 교수 연구실
Theory, Cryptography
- Aditi Raghunathan 교수 연구실
Artificial Intelligence, Machine Learning
- Andrew Pavlo 교수 연구실
Systems, Databases, Distributed Systems
- Aviral Kumar 교수 연구실
Artificial Intelligence, Machine Learning, Robotics
- Chris Donahue 교수 연구실
Artificial Intelligence, Machine Learning
- Christos Faloutsos 교수 연구실
Artificial Intelligence, Systems, Databases, Data Mining