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

Amy Felty

Professor Emeritus

Research Interests:

Formal methods, particularly interactive theorem proving and automated deduction;
Logical frameworks and their application in domains such as programming languages, systems biology, privacy and security, and proof theory

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: 4009A SITE
Email: afelty@uottawa.ca