Amy Felty
Profil
Amy
Felty
Professeure émérite
Ph.D.
M.S.E.
B.A.
Salle
SITE 4009a
Courriel
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.