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.
PhD, Computer Science, 1996, Princeton University
B.S., Mathematics and Computer Science, 1991, University of Delaware