Amy Felty

E-Card

Amy Felty
Professor, SITE

B.A. (Colgate)
M.S.E
Ph.D. (Pennsylvania)

SITE 5068

Office: 613-562-5800 ext. 6694

Work E-mail: afelty@site.uOttawa.ca

Default image

Biography

Supervised Students and Postdocs:

  • Graduate Students:
    • Vinogradova, Polina (Co-supervised with Philip Scott)

Research Group(s): Logic and Foundations of Computing

Fields of Interest

  • Theorem proving
  • Automated deduction
  • Formal methods in software engineering
  • Computational logic
Back to top