View of Carnegie Mellon Pausch bridge through window with algorithm written in marker on the glass

Academic Offerings

Consistently ranked among the highest programs available for the study of computer science, the Computer Science Department offers bachelor's, master's and doctoral degrees grounded in the foundations of the field while ensuring that the latest breakthroughs and research are encompassed in the curriculum.

Bachelor's Overview | Master's Overview | Doctoral Overview

Admissions

Degree's offered by the Computer Science Department include bachelor's, master's, and doctoral.

Start with information provided on our Prospective Students page and then learn more about the department through our Faculty Research Guide, events, news, and additional online resources.

Directory Submenu

People

Our directory includes faculty, staff, postdoctoral and doctoral people in the department.

It also serves as part of our Faculty Research Guide (FRG) with information about the research areas people are actively working in across the department.

Key Contacts - for quick reference.

Explore the Field

Our Faculty Research Guide (FRG) is a good starting point to see which faculty are working on some of today's most interesting research challenges.

The work we do here covers a wide range of research interests. Each faculty member has written his or her own research summary, which is available on their individual CSD directory page.

Formal Methods

Logical errors in computer hardware and software can have significant economic and societal impact, threatening safety and security.

Our formal methods group aims to help hardware and software engineers build systems that are correct, reliable and secure.

We do this by designing and employing techniques that provide rigorous guarantees about the properties of hardware and software; e.g., by proving that code will give the correct answer for all possible inputs. We are interested in approaches based on programming languages, type systems, formal verification, and automated reasoning tools (e.g., SAT and SMT solvers).

We are motivated both by abstract mathematical problems and by concrete systems used in practice. Results from our group have resolved decades-old mathematical conjectures, as well as been deployed to improve the correctness and security of software systems used by hundreds of millions of people.

Faculty Researchers Working in this Area

Matt Fredrikson

Associate Professor
David Garlan

Professor
Robert Harper

Professor
Marijn Heule

Associate Professor
Jan Hoffmann

Associate Professor
Bryan Parno

Professor
Frank Pfenning

Professor

Subscribe to Formal Methods

At a Glance

Academic Offerings

Admissions

Directory Submenu

People

Explore the Field

What can we help you find?