
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
Students
PhDs:
Jesse Comer (co-advised with Val Tannen)