Carnegie Mellon University

Our Team

Our faculty, students, and staff represent world-class expertise from diverse technical backgrounds and experience levels. Led by pioneers like Mary Shaw, a National Medal of Technology honoree, and David Garlan, recipient of the prestigious Stevens Award, our team includes multiple IEEE and ACM Fellows who are defining the future of software engineering. Together, we're advancing breakthroughs in AI-driven development, secure systems, and human-computer interaction—all united by our shared commitment to "Build It Better."

group photo of the students and staff of the software engineering program

[Pictured: Faculty and students of the Software Engineering program, taken Fall 2018. Join a community where you don't just learn from the authors of seminal papers—you collaborate with them on research that shapes the field's future.]

Core Faculty

20 bios displayed.

Jonathan Aldrich

Dr. Jonathan Aldrich

Language Design • Program Verification • Object-Oriented Foundations • Software Design Constraints Specializes in programming language approaches to software verification

Read full bio

Andrew Begel

Dr. Andrew Begel

Human Aspects • Neurodiversity • Accessibility • HCI • Collaboration Tools • Organizational Behavior Specializes in understanding human factors in software engineering practices

Read full bio

Travis Breaux

Dr. Travis Breaux

Requirements Engineering • Software Design • Privacy and Security • Policy Compliance Specializes in engineering secure systems that meet regulatory requirements

Read full bio

Fraser Brown

Dr. Fraser Brown

Program Correctness • Compiler Verification • Systems Security • Cryptographic Proof Systems • Bug Finding Specializes in verification and security techniques for complex software systems, including browser JITs and cryptographic compilers

Read full bio

David Garlan

Dr. David Garlan

Software Architecture • Pervasive Computing • Self-Healing Systems • Formal Methods Specializes in architectural approaches for robust adaptive systems

Read full bio

Vincent Hellendoorn

Dr. Vincent Hellendoorn

Machine Learning • Program Synthesis • Learned Program Analysis Specializes in AI-based approaches to code understanding and generation

Read full bio

James Herbsleb

Dr. James Herbsleb

Software Teams • Open Source • Collaboration • Coordination • Global Development Specializes in socio-technical aspects of distributed software development

Read full bio

Eunsuk Kang

Dr. Eunsuk Kang

Software Design • Assurance • Modeling • Verification • Security • Cyber-Physical Systems Specializes in design methods for secure safety-critical systems

Read full bio

Christian Kästner

Dr. Christian Kästner

Variability • Reuse • Modularity • Program Analysis • Program Comprehension Specializes in program comprehension and analysis techniques for modular software systems

Read full bio

Claire Le Goues

Dr. Claire Le Goues

Software Quality • Defect Detection • Program Analysis • Automatic Bug Repair Specializes in automated techniques for software evolution and bug fixing

Read full bio

Heather Miller

Dr. Heather Miller

Language Design • Distributed Programming • Distributed Runtimes • Data Consistency Specializes in programming models for reliable distributed systems

Read full bio

Brad Myers

Dr. Brad Myers

UI • Programming Environments • API Usability • End-User Programming • DevX Specializes in human-centered approaches to programming tools and interfaces

Read full bio

Riccardo Paccagnella

Dr. Riccardo Paccagnella

Cybersecurity • Privacy • Hardware Security • Systems Security Specializes in system-level security and privacy protection mechanisms

Read full bio

Rohan Padhye

Dr. Rohan Padhye

Program Analysis • Software Testing • Software Security Specializes in automated testing techniques for software reliability and security

Read full bio

William Scherlis

Dr. William Scherlis

Software Assurance • Security Analysis • Safe Concurrency • Development Tools Specializes in verification techniques for software safety and security

Read full bio

Bradley Schmerl

Dr. Bradley Schmerl

Software Architecture • Self-Adaptive Systems • Software Engineering Tools Specializes in architectural approaches for building adaptive software systems

Read full bio

Mary Shaw

Dr. Mary Shaw

Everyday Software • Software Architecture • Ultra-Large-Scale Systems • Dependability Specializes in architectural patterns for reliable large-scale software systems

Read full bio

Joshua Sunshine

Dr. Joshua Sunshine

API Usability • Language Design • Program Comprehension • Development Tools Specializes in improving programmer productivity through better tool design

Read full bio

Christopher Timperley

Dr. Christopher Timperley

Search-Based Software Engineering • Automated Program Repair • Program Analysis • Cyberphysical Systems Specializes in automated techniques for finding and fixing software defects

Read full bio

Bogdan Vasilescu

Dr. Bogdan Vasilescu

Software Analytics • Social Aspects • Collaboration • Open Source Ecologies • "Big Code" Specializes in data-driven approaches to understanding software development teams

Read full bio

Load more

Staff

2 bios displayed.

Connie Herold

Connie Herold

Senior Academic Programs Manager

Read full bio

Alisha Roudebush

Alisha Roudebush

Academic Program Coordinator

Read full bio

Students

50 bios displayed.

Anmol Singhal

Anmol Singhal

Bio of S3D Software Engineering PhD student Anmol Singhal

Read full bio

Load more

Alumni

51 bios displayed.

Shawn  Butler

Dr. Shawn Butler

Assistant Professor, Computer Science Department, University of Alaska

Shawn Butler

Read full bio

Vahe  Poladian

Dr. Vahe Poladian

Quantitative Researcher, Citadel Securities

Vahe Poladian

Read full bio

Joshua Sunshine

Dr. Joshua Sunshine

API Usability • Language Design • Program Comprehension • Development Tools Specializes in improving programmer productivity through better tool design

Read full bio

Load more