Professor

Mathematics

Computer and Information Science

Office: David Rittenhouse Lab, 4E6

Research Areas

  • Logic
  • Cybersecurity
  • Information Assurance
  • Computer Security and Privacy
  • Cryptographic Protocols
  • Formal Methods
  • Formal Grammars
  • Logical Aspects of Linguistic Structure

Awards

Projects/Papers

Aspects of Non-Associative Linear Logic, pg. 39
Time-Bounded Resilience
Explorations in Subexponential non-associative non-commutative Linear Logic

Students

PhDs:

Jesse Comer (co-advised with Val Tannen)

Eben Blaisdell