Amy Felty
professor
Mathematic and Statistics
University of Ottawa
Canada
Biography
Amy Felty is working as a Professor in the department of Mthematics and Statistics, at University of Ottawa, canada. Her research interest includes: Theorem proving, Automated deduction, Formal methods in software engineering, Computational logic. She is the author of many articles published in several reputed journals.
Research Interest
Professor Felty's research interest includes: Theorem proving, Automated deduction, Formal methods in software engineering, Computational logic.
