Amy Felty

Carte électronique

Amy Felty
Professeure

Ph.D.
M.S.E.
B.A.

Room : STE 5068
Bureau : 613 562-5800 poste 6694
Courriel professionnel : afelty@eecs.uottawa.ca

Biographie

Champs d'intérêt

  • Preuves sur ordinateur, démonstration automatique
  • méthodes formelles en génie logiciel
  • logique calculatoire
Haut de page