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

Bibliography and CV

• Publication List
• CV in pdf format

Conferences

• 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.

Professional Duties

• Journal of Applied Logic: Area Editor for Tactical Theorem Proving and Proof Planning, Elsevier
• Member of Scientific Advisory Board, Mobius (Mobility, Ubiquity, and Security) Project, European Commission Project
• Member, Committe on Logic in North America, Association for Symbolic Logic (ASL)
• Trustee, International Conference on Automated Deduction (CADE)

Miscellaneous

• 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
• 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 © Université d'Ottawa / University of Ottawa
Webmestre / Webmaster