Amy Felty

Carte électronique

Amy Felty
Professeure titulaire, SITE

B.A. (Colgate)
M.S.E
Ph.D. (Pennsylvania)

SITE 5068

Bureau : 613-562-5800 poste 6694

Courriel professionnel : afelty@site.uOttawa.ca

Image par défaut

Biographie

Étudiants et chercheurs postdoctoraux supervisés :

  • Étudiants aux 2e et 3e cycles :
    • Vinogradova, Polina (Co-supervisé avec Philip Scott)

Groupe(s) de recherche : Logique et fondements de l'informatique

Champs d'intérêt

  • Preuves sur ordinateur
  • Démonstration automatique
  • Méthodes formelles en génie logiciel
  • Logique calculatoire
Haut de page