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 2009 and Winter 2010
• CSI 5110 Principles of Formal Software Development, Fall 2009
• SEG 2105 Introduction to Software Engineering, Winter 2010

Other Recent Courses
• ITI 1120 Introduction to Computing I, Winter 2008
• 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)
• Steering Committee Member, International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP)

Conferences

• ACM Symposium on Applied Computing (SAC 2011), Software Verification and Testing Track (SAC-SVT 2011), TaiChung, Taiwan, March 21-25, 2011. Program Committee Member.
• 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010) and affiliated workshops, Baltimore, Maryland, USA, September 27-29, 2010.
  • ACM SIGPLAN Workshop on Mathematically Structured Functional Programming (MSFP 2010), Baltimore, Maryland, USA, September 25, 2010. Invited Speaker.
  • 5th ACM SIGPLAN Workshop on Mechanizing Metatheory (WMM 2010), Baltimore, Maryland, USA, September 25, 2010. Invited Speaker.
• 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2010), Hagenberg, Austria, July 26-28, 2010. Steering Committee Member.
• Federated Logic Conference (FLoC 2010), Edinburgh, UK, July 9-21, 2010.
  • 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), Edinburgh, UK, July 11-14, 2010. Program Committee Member.
  • 5th International Joint Conference on Automated Reasoning (IJCAR 2010), Edinburgh, UK, July 16-19, 2010. CADE Trustee.
  • 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP 2010), Edinburgh, UK, July 14, 2010. Program Committee Member.
  • International Conference on Interactive Theorem Proving (ITP 2010), Edinburgh, UK, July 11-14, 2010.
• 26th Conference on Mathematical Foundations of Programming Semantics (MFPS), Ottawa, Canada, May 6-10, 2010. Invited Tutorial Speaker.

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