Professor of Mathematics and Computer and Information Science
Office Location:
4E6 and 4W7 David Rittenhouse Laboratory
Email:
Phone:
(215) 898-8627
Website:
Research Interests:
Logic, Cybersecurity, Cryptographic Protocols, Formal Methods, Formal Grammar, Logical Aspects of Linguistic Structure
Affiliations:
Computation Theory