uri icon
  • Contact Info
  • Websites

Carlisle, Martin Professor of the Practice

Positions

I am interested in identification of software vulnerabilities, using formal methods to create software with security properties, and computer security/computer science education.

Research Areas research areas

HR job title

  • Professor of the Practice