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

Current Year
• CSI 4900 Projets de recherche/Honours Project, Fall 2010 and Winter 2011
• CSI 2120 Programming Paradigms, Winter 2011
• CSI 5110 Principles of Formal Software Development, Fall 2010

Other Recent Courses
• ITI 1120 Introduction to Computing I, Winter 2008
• SEG 2105 Introduction to Software Engineering, Winter 2010
• CSI 4125 Theory of Programming Languages, Winter 2008
CSI 3104 Introduction to Formal Languages, Winter 2003
• CSI 3504 Introduction aux langages formels, Hiver 2003

Research

• Software Correctness and Safety Research Laboratory
• The Logic and Foundations of Computing Group
• Publication List

Professional

• Co-Founder, Devera Logic, Inc.
• Journal of Applied Logic: Area Editor for Tactical Theorem Proving and Proof Planning, Elsevier
• Member, Committe on Logic in North America, Association for Symbolic Logic (ASL)
• Trustee, International Conference on Automated Deduction (CADE)
• Member, NSERC (National Science and Engineering Research Council of Canada) Computer Science Evaluation Group

Conferences

• 2011 International Conference on Interactive Theorem Proving (ITP 2011), Nijmegen, The Netherlands, August 22-25, 2011, Program Committee Member.
• 23rd International Conference on Automted Deduction (CADE 23) and affiliated workshops, Wroclaw, Poland, July 31-August 5, 2011.
  • Workshop on Proof eXchange for Theorem Proving (PxTP-2011), August 1, 2011, Program Committee Member.
  • Workshop on Proof Search in Axiomatic Frameworks (PSATTT-2011), August 1, 2011, Program Committee Member.
• 13th International Symposium on Principles and Practice of Declarative Programming (PPDP 2011), Odense, Denmark, July 20-22, 2011, Program Committee Member.
• ACM Symposium on Applied Computing (SAC 2011), Software Verification and Testing Track (SAC-SVT 2011), TaiChung, Taiwan, March 21-25, 2011, Program Committee Member.

Miscellaneous

• CV in pdf format
• Proceedings of the of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'09)
• Notes (lecture 1 and lecture 2) on proof-carrying code for the June 2002 Summer School on the Proofs-as-Programs
• Proceedings of the 1999 Workshop on Logical Frameworks and Meta-languages (LFM'99)
• Some of my Lambda Prolog code specifying and implementing theorem provers
• A tutorial on Lambda Prolog and its Application to Theorem Proving.

Amy Felty
School of Information Technology and Engineering (SITE)
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@site.uottawa.ca

Contactez: L'École d'ingénierie et de technologie de l'information /
Contact: School of Information Technology and Engineering
Copyright © Université d'Ottawa / University of Ottawa
Webmestre / Webmaster