Carnegie Mellon University

Martin Carlisle

Martin Carlisle

Director of Academic Affairs, Information Networking Institute
Teaching Professor, INI

Address
4616 Henry Street
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, Computer Science, 1996, Princeton University

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

Research

His research interests include computer security, programming languages and computer science education.