Amy Felty

E-Card

Amy Felty
Professor

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

STE 5068

Office: 613 562-5800 ext. 6694

Work E-mail: afelty@eecs.uottawa.ca

Amy Felty

Biography

Professor, University of Ottawa, School of Information Technology and Engineering.

Visiting Researcher, McGill University, School of Computer Science.
Associate Professor, University of Ottawa, School of Information Technology and Engineering.

Research Scientist, Bell Labs, Lucent Technologies, Software Principles Research Department.
Adjunct Professor, Stevens Institute of Technology. Graduate Course in AI.

Visiting Researcher, INRIA (National Institute for Research in Computer Science and Control), Rocquencourt and Sophia-Antipolis, France.

Fields of Interest

  • Theorem proving, automated deduction
  • formal methods in software engineering
  • computational logic
Back to top