Amy Felty Associate 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

• CSI 4125 Theory of Programming Languages, Winter 2006
• CSI 5110 Principles of Formal Software Development, Fall 2005
• CSI 3104 Introduction to Formal Languages, Winter 2003
• CSI 3504 Introduction aux langages formels, Hiver 2000, Hiver 2003
• CSI 1100 Introduction to Computer Science I, Fall 2000, Fall 2001, Fall 2002

Research

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

Bibliography and CV

• Publication List
• CV in postscript format

Conferences

• 21st International IEEE Symposium on Logic in Computer Science (LICS 2006), Seattle, Washington, USA, August 12-15, 2006, held as part of the 2006 Federated Logic Conference (FLoC 2006). Program Committee Member.
• 3rd International Joint Conference on Automated Reasoning (IJCAR 2006), Seattle, Washington, USA, August 16-21, 2006, held as part of the 2006 Federated Logic Conference (FLoC 2006). Program Committee Member.
• International Workshop on Proof-Carrying Code (PCC 2006), Seattle, Washington, USA, August 11, 2006, (affiliated with LICS 2006, part of FLoC 2006), Program Committee Member.

Professional Duties

• Journal of Applied Logic: Area Editor for Tactical Theorem Proving and Proof Planning, Elsevier
• Secretary-Treasurer of the Association of Automated Reasoning

Miscellaneous

• Notes (lecture 1 and lecture 2) on proof-carrying code for the June 2002 Summer School on the Proofs-as-Programs
• Slides from the LICS 2000 Workshop on Proof-Carrying Code (PCC 2000)
• 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 © 2001, 2002, 2003, 2004, 2005, 2006 Université d'Ottawa / University of Ottawa
Webmestre / Webmaster