Amy Felty
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