Amy Felty
Carte électronique
Amy Felty
Professeure
Ph.D.
M.S.E.
B.A.
Pièce : STE 5068
Bureau : 613 562-5800 poste 6694
Courriel professionnel : afelty@uOttawa.ca
Biographie
Champs d'intérêt
- Preuves sur ordinateur, démonstration automatique
- méthodes formelles en génie logiciel
- logique calculatoire
