Martin Carlisle is the director of academic affairs and a teaching professor in the Information Networking Institute, at Carnegie Mellon University. Previously, he was a computer science professor at the U.S. Air Force Academy, director of the Academy Center for Cyberspace Research, and founder and coach of the Air Force Academy Cyber Competition Team. With the support of his Hertz Fellowship, Professor 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.
