l'ÉITIRechercheNouvelles HREF=RépertoiresRessourcesGénie/EngineeringUd'O/UofOSITESearchNewsDirectoriesResourcesSITE

Amy Felty

Professor

Research Interests:

Theorem proving, automated deduction,
formal methods in software engineering,
computational logic

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

Teaching

Research

Professional

Conferences

Miscellaneous

Amy Felty
School of Electrical Engineering and Computer Science (EECS)
University of Ottawa
800 King Edward Ave.
Ottawa, Ontario, Canada, K1N 6N5
Tel: (613) 562-5800 x6694, Fax: (613) 562-5664
Office: 5-068 SITE
Email: afelty@eecs.uottawa.ca
Contactez: École de science informatique et de génie électrique
Contact: School of Electricl Engineering and Computer Science
Copyright © Université d'Ottawa / University of Ottawa
Webmestre / Webmaster