Carnegie Mellon University

Martin Carlisle

Martin Carlisle

Courtesy Professor, Electrical and Computer Engineering
Director of Academic Affairs, Information Networking Institute
Teaching Professor, Information Networking Institute

Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Martin Carlisle is the Director of Academic Affairs and a Teaching Professor in the Information Networking Institute. Previously, he was a computer science professor at the United State Air Force Academy, Director of the Academy Center for Cyberspace Research, and founder and coach of the Air Force Academy Cyber Competition Team. Prof. Carlisle earned a PhD in Computer Science from Princeton University. His research interests include computer security, programming languages and computer science education. His most recent research has focused on using formal methods to prove software free of the most common security vulnerabilities.

He is the primary author of RAPTOR, an introductory programming environment used in universities and schools around the world. He advises students in Carnegie Mellon’s Plaid Parliament of Pwning and founded and coached the Air Force Academy Cyber Competition Team, which advanced four years to the National Collegiate Cyber Defense Competition. He is an ACM Distinguished Educator, a Colorado Professor of the Year, and a recipient of the Arthur S. Flemming Award for Exceptional Federal Service.

Education

PhD, 1996
Computer Science
Princeton University

B.S., 1991
Mathematics and Computer Science
University of Delaware