Amy Felty
Intérêts de recherche
- Méthodes formelles, en particulier la démonstration interactive de théorèmes et la déduction automatisée
- Cadres logiques et leurs applications dans des domaines tels que les langages de programmation, la biologie des systèmes, la protection de la vie privée et la sécurité, et la théorie de la preuve.