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

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

• ACM Symposium on Applied Computing, Software Verification and Testing Track, Waikiki Beach, Hawaii, March 8-9, 2009. Program Committee Member.
• 17th EACSL Annual Conference on Computer Science Logic (CSL 2008), Bertinoro, Italy, September 15-20, 2008. Program Committee Member.
• 6th International Workshop on Security Issues in Concurrency (SecCo 2008), Toronto, Canada, August 23, 2008. Program Committee Member.
• 4th International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, Australia, August 10-15, 2008. CADE Trustee.
• International Workshop on Formal Techniques for Java-like Programs (FTfJP'08), Paphos, Cyprus, July 2008. Program Committee Member.

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

• 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