Amy Felty (original) (raw)

Professor Emeritus

Research Interests:

Formal methods, particularly interactive theorem proving and automated deduction; Logical frameworks and their application in domains such as programming languages, systems biology, privacy and security, and proof theory