Skip to main content
Expand Menu
Search
Main navigation
About
Back to Main Menu
About Main page
About
Related links
Events
News
Key Contacts
History
Sitemap
Employment
Related links
Faculty Hiring
Staff Hiring
Marketing & Communications
Related links
SCS Marketing & Communications
Partnerships
Employer Recruiting
CMU Marketing & Communications
Visit Carnegie Mellon
Related links
Visitor Parking
Maps & Directions
Give
Admissions
Back to Main Menu
Admissions Main page
Prospective Students
Bachelor's Admissions
Related links
Bachelor's Programs
Incoming Student Course Transfer
Master's Admissions
Related links
Master's Programs
Doctoral Admissions
Related links
Doctoral Programs
Core CSD Doctoral Advisors
Admitted Doctoral Student Open House
Academics
Back to Main Menu
Academics Main page
Academics
Related links
Current Semester Courses
Upcoming Semester Courses
Fall 2025 Courses
Schedule of Classes
Undergraduate Catalog
Bachelor's Programs
Related links
How to Apply as Incoming First-Year
Incoming Student Course Transfer
B.S. in CS Curriculum
B.S. in CS Concentrations
B.S. in CS External Course Transfer
B.S. in CS Program Contacts
Guidelines for Internal Transfer or Dual Degree
Minor and Additional Major in Computer Science
Other SCS Undergraduate Programs
Master's Programs
Related links
M.S. in Computer Science
Fifth Year Master's
Accelerated MBA Program
Master's - How to Apply
Master's Programs Contacts
Other SCS Master's Programs
Doctoral Programs
Related links
Ph.D. in Computer Science
Ph.D. in ACO
Ph.D. in PAL
CNBC Certificate Program
Ph.D. Dual Degree Portugal
Doctoral - How to Apply
Related links
Doctoral Open House
Core CSD Advisors
Degrees Conferred
Other SCS Doctoral Programs
Student Resources
Related links
General Student Resources
Bachelor's Resources
Master's Resources
Doctoral Resources
Related links
Doctoral Program Handbook
Doctoral Breadth Courses
Doctoral Student Review Schedule
Doctoral Writing Skills
Doctoral Speaking Skills
Doctoral Thesis Proposal Process
Doctoral Thesis Oral Defense Process
Doctoral Degrees Conferred
Doctoral Student Ombudspersons
Doctoral Student Service Award
People
Back to Main Menu
People Main page
Directory
Related links
All Faculty
Teaching Faculty
Emeritus Faculty
Staff
Doctoral
Post-Docs
Key Contacts
Staff Resources
Student Resources
Related links
General Student Resources
Bachelor's Resources
Master's Resources
Doctoral Resources
Faculty Resources
Research
Back to Main Menu
Research Main page
Faculty Research Guide
Artificial Intelligence
Related links
Computational Neuroscience
Machine Learning
Robotics
Graphics
Related links
Robotics
Programming Languages
Related links
Formal Methods
Pure and Applied Logic
Software Engineering
Software Verification
Type Theory
Security
Related links
Cryptography
Security and Privacy
Systems
Related links
Computer Architecture
Databases
Data-intensive and Cloud Computing
Distributed Systems
Human-Computer Interaction
Mobile & Pervasive Computing
Networking
Operating Systems
Scientific Computing
Theory
Related links
Algorithms and Complexity
Game Theory
Performance Modeling Analysis
Give
X
Breadcrumb
Home
Research
Type Theory
Type Theory
Researchers Working in this Area
Last
First
Professional Title
Balzer
Stephanie
Assistant Professor
Harper
Robert
Professor
Subscribe to Type Theory
