Faculty

Alessandro Acquisti 

Alessandro Acquisti

Professor, Heinz College and CyLab

Research areas: Biometrics, Privacy, Software security, Usability

 

Jonathan Aldrich

Jonathan Aldrich

Associate Professor, School of Computer Science

Research areas: Formal methods, Software security

 

Dave Anderson

Dave Andersen

Associate Professor, School of Computer Science

Research areas: Network security

 

Lujo Bauer

Lujo Bauer

Associate Professor, Electrical and Computer Engineering and Computer Science (Institute for Software Research)

Research areas: Biometrics, Formal methods, Machine learning, Privacy, Software security, Usability

 

Vijayakumar Bhagavatula

Vijayakumar Bhagavatula

Professor and Associate Dean for Graduate and Faculty Affairs, Electrical and Computer Engineering

Research areas: Cryptography, Hardware security, Network security

 

Manuel Blum

Manuel Blum

Professor, School of Computer Science

Research areas: Cryptography, Software security, Usability

 

David Brumley

David Brumley

Professor, Electrical and Computer Engineering

Research areas: Cryptography, Formal methods, Software security

 

Yang Cai

Yang Cai

Senior Systems Scientist, CyLab; Director, Visual Intelligence Studio

Research areas: Hardware security, Machine learning, Network security

 

Martin Carlisle

Martin Carlisle

Director of Academic Affairs and Teaching Professor, Information Networking Institute

Research areas: Software security

 

Nicolas Christin 

Nicolas Christin

Associate Research Professor, School of Computer Science and Engineering and Public Policy

Research areas: Machine learning, Network security, Privacy, Usability

 

Lorrie Cranor

Lorrie Cranor

Professor, School of Computer Science and Engineering and Public Poliy; Director, CyLab Usable Privacy and Security Lab

Research areas: Privacy, Usability

 

Karl Crary

Associate Professor, School of Computer Science

Research areas: Software security

 

Anupam Datta

Anupam Datta

Associate Professor, Electrical and Computer Engineering and School of Computer Science

Research areas: Cryptography, Formal methods, Network security, Privacy, Software security

 

Anind Dey

Anind Dey

Professor and Director, Human-Computer Interaction Institute

Research areas: Privacy, Usability

 

Giulia Fanti

Giulia Fanti

Assistant Professor, Electrical and Computer Engineering

Research areas: Privacy

 

Michael Farb

Michael Farb

Research Programmer, CyLab

Research areas: Cryptography, Usability

 

Franz Franchetti

Franz Franchetti

Associate Research Professor, Electrical and Computer Engineering

Research areas: Formal methods, Machine learning, Software security

 

Matt Fredrikson

Matt Fredrikson

Assistant Professor, School of Computer Science

Research areas: Formal methods, Privacy, Software security

 

Greg Ganger

Greg Ganger

Jatras Professor, Electrical and Computer Engineering and School of Computer Science

Research areas: Network security, Usability

 

David Garlan

David Garlan

Professor, School of Computer Science

Research area: Software security

 

Virgil Gligor

Virgil Gligor

Professor, Electrical and Computer Engineering

Research areas: Cryptography, Hardware security, Network security, Software security, Usability

 

Vipul Goyal

Vipul Goyal

Associate Professor, Computer Science Department

Research areas: Cryptography

 

Aaron Greenhouse

Aaron Greenhouse

Visiting Scientist, Software Engineering Institute

Research areas: Software security

 

Martin Griss

Martin Griss

Principal Research Scientist, Carnegie Mellon Silicon Valley

Research areas: Network security, Privacy, Usability

 

James Herbsleb

James Herbsleb

Professor, School of Computer Science

Research areas: Network security, Software security

 

Jan Hoffman

Jan Hoffmann

Assistant Professor, School of Computer Science

Research areas: Formal methods, Privacy, Software security, Usability

 

Jason Hong 

Jason Hong

Associate Professor, Human Computer Interaction Institute

Research areas: Privacy, Usability

 

Marija Ilic

Marija Ilić

Professor, Electrical and Computer Engineering and Engineering and Public Policy

Research areas: Network security

 

Limin Jia

Limin Jia

Associate Research Professor, CyLab

Research areas: Formal methods, Software security, Privacy

 

Temesghen Kahsai

Temesghen Kahsai

Senior Systems Scientist, Carnegie Mellon Silicon Valley

Research areas: Formal methods, Software security

 

Hyong Kim

Hyong Kim

Professor, Electrical and Computer Engineering

Research areas: Network security, Usability

 

Ramayya Krishnan

Ramayya Krishnan

Dean and Cooper Professor of Information Systems, Heinz College

Research areas: Network security, Privacy, Usability

 

Jing Lei

Jing Lei

Assistant Professor, Department of Statistics

Research areas: Machine learning, Privacy

 

Peter Madsen

Peter Madsen

Adjunct Faculty, Heinz College

 

Ken Mai

Ken Mai

Senior Systems Scientist, Electrical and Computer Engineering

Research areas: Cryptography, Hardware security, Network security, Software security, Usability

 

Diana Marculescu

Diana Marculescu

Professor, Electrical and Computer Engineering

 

Radu Marculescu

Radu Marculescu

Professor, Electrical and Computer Engineering

Research areas: Network security

 

Roy Maxion

Roy Maxion

Research Professor, School of Computer Science

Research areas: Formal methods, Hardware security, Network security

 

Nancy Mead

Nancy Mead

Fellow and Principal Researcher, Software Engineering Institute

Research areas: Software security

 

Ole Mengshoel

Ole Mengshoel

Associate Research Professor, Electrical and Computer Engineering

Research areas: Hardware security, Network security, Software security

 

Andrew Moore

Andrew Moore

Senior Member, CERT Technical Staff

 

James Morris

James Morris

Professor, School of Computer Science

Research areas: Privacy

 

Onur Mutlu

Onur Mutlu

Associate Professor, Electrical and Computer Engineering

 

Priya Narasimhan

Priya Narasimhan

Associate Professor, Electrical and Computer Engineering

Research areas: Network security, Usability

 

Rohit Negi

Rohit Negi

Professor, Electrical and Computer Engineering

Research areas: Privacy

 

Ryan O'Donnell

Ryan O'Donnell

Associate Professor, School of Computer Science

Research areas: Formal methods

 

Bryan Parno

Bryan Parno

Associate Professor, Electrical and Computer Engineering and Computer Science

Research areas: Formal methods, Software security

 

Corina Pasareanu

Corina Pasareanu

Associate Research Professor, Carnegie Mellon Silicon Valley

Research areas: Formal methods, Software security

 

Adrian Perrig

Adrian Perrig

Distinguished Fellow, CyLab; Full Professor, Computer Science, ETH Zurich

Research areas: Network security, Software security

 

Frank Pfenning

Frank Pfenning

Department Head and Professor, School of Computer Science

Research areas: Formal methods, Privacy, Software security

 

Raj Rajkumar

Raj Rajkumar

Professor, Electrical and Computer Engineering

Research areas: Hardware security, Network security, Privacy, Usability

 

Anthony Rowe

Anthony Rowe

Associate Professor, Electrical and Computer Engineering

Research areas: Hardware security, Network security, Usability

 

Norman Sadeh

Norman Sadeh

Professor, School of Computer Science

Research areas: Hardware security, Network security, Privacy, Usability

 

Mahadev Satyanarayanan

Mahadev Satyanarayanan

Professor, School of Computer Science

 

Marios Savvides

Marios Savvides

Research Professor, Electrical and Computer Engineering; Director, CyLab Biometrics Center

Research areas: Biometrics, Hardware security, Machine learning, Network security, Usability

 

William Scherlis

William Scherlis

Professor, School of Computer Science; Director, Institute for Software Research

Research areas: Formal methods, Software security

 

Robert Seacord

Robert Seacord

Technical Manager, SEI Secure Software and Systems

Research areas: Software security

 

Vyas Sekar 

Vyas Sekar

Assistant Professor, Electrical and Computer Engineering

Research areas: Network security, Software security

 

Srinivasan Seshan

Srinivasan Seshan

Professor, School of Computer Science

Research areas: Network security, Usability

 

Doug Sicker

Douglas Sicker

Interim Director, CyLab; Department Head, Engineering and Public Policy

Research areas: Network security, Privacy

 

Daniel Siewiorek

Daniel Siewiorek

Professor, School of Computer Science and Electrical and Computer Engineering

Research areas: Network security, Privacy, Usability

 

Bruno Sinopoli

Bruno Sinopoli

Associate Professor, Electrical and Computer Engineering

Research areas: Hardware security, Network security, Software security

 

Asim Smailagic

Asim Smailagic

Research Professor; Director, Laboratory for Interactive Computer Systems

Research areas: Network security, Privacy, Usability

 

Peter Steenkiste

Peter Steenkiste

Professor, School of Computer Science and Electrical and Computer Engineering

Research areas: Network security

 

Patrick Tague

Patrick Tague

Associate Research Professor, Carnegie Mellon Silicon Valley

Research areas: Network security, Software security

 

Rahul Telang

Rahul Telang

Professor, Heinz College

Research areas: Privacy, Software security, Usability

 

Ozan Tonguz

Ozan Tonguz

Professor, Electrical and Computer Engineering

Research areas: Network security

 

Randall Trzeciak

Randall Trzeciak

Senior Member, SEI Technical Staff

Research areas: Network security

 

Amit Vasudevan

Research Systems Scientist, CyLab

Research areas: Cryptography, Formal Methods, Hardware security, Network security, Software security, Usability

 

Luis von Ahn

Luis von Ahn

Associate Professor, School of Computer Science

Research areas: Usability

 

Maverick Woo

Maverick Woo

Systems Scientist, CyLab

Research areas: Formal methods, Software security

 

Osman Yagan

Osman Yagan

Assistant Research Professor, Electrical and Computer Engineering

Research areas: Network security

 

Hui Zhang

Hui Zhang

Adjunct Professor, School of Computer Science

Research areas: Network security

 

Pei Zhang

Pei Zhang

Associate Professor, Electrical and Computer Engineering and Information Networking Institute

Research areas: Hardware security, Network security, Privacy, Usability

 

Researchers

 

David Belotti

Electrical and Computer Engineering

 

Yueqiang Cheng

Post Doctoral Researcher, CyLab

Research areas: Software security

 

Daniel Luchaup

Post Doctoral Researcher, CyLab

Research areas: Cryptography, Formal methods, Software security

 

Ralph Gross

Computer Science

Research areas: Privacy

 

Keshav Thirumalai Seshadri

CyLab

Research areas: Hardware security, Network security

 

Shreyas Venugopalan

Electrical and Computer Engineering

Research areas: Hardware security, Network security