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."
[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
Dr. Jonathan Aldrich
Language Design • Program Verification • Object-Oriented Foundations • Software Design Constraints Specializes in programming language approaches to software verification

Dr. Andrew Begel
Human Aspects • Neurodiversity • Accessibility • HCI • Collaboration Tools • Organizational Behavior Specializes in understanding human factors in software engineering practices
Dr. Travis Breaux
Requirements Engineering • Software Design • Privacy and Security • Policy Compliance Specializes in engineering secure systems that meet regulatory requirements

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
Dr. David Garlan
Software Architecture • Pervasive Computing • Self-Healing Systems • Formal Methods Specializes in architectural approaches for robust adaptive systems

Dr. Vincent Hellendoorn
Machine Learning • Program Synthesis • Learned Program Analysis Specializes in AI-based approaches to code understanding and generation
Dr. James Herbsleb
Software Teams • Open Source • Collaboration • Coordination • Global Development Specializes in socio-technical aspects of distributed software development

Dr. Eunsuk Kang
Software Design • Assurance • Modeling • Verification • Security • Cyber-Physical Systems Specializes in design methods for secure safety-critical systems
Dr. Christian Kästner
Variability • Reuse • Modularity • Program Analysis • Program Comprehension Specializes in program comprehension and analysis techniques for modular software systems

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

Dr. Heather Miller
Language Design • Distributed Programming • Distributed Runtimes • Data Consistency Specializes in programming models for reliable distributed systems
Dr. Brad Myers
UI • Programming Environments • API Usability • End-User Programming • DevX Specializes in human-centered approaches to programming tools and interfaces
Staff
Students
Load moreAlumni

Dr. Shawn Butler
Assistant Professor, Computer Science Department, University of Alaska
Shawn Butler