Carlisle, Martin
individual record
Professor of the Practice
Positions:
- Faculty Affiliate, Institute for Engineering Education and Innovation, Texas A&M Engineering Experiment Station (TEES)
- Professor of the Practice, Computer Science and Engineering, College of Engineering
overview
I am interested in identification of software vulnerabilities, using formal methods to create software with security properties, and computer security/computer science education.
