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 5110 Principles of Formal Software Development, Winter 2005
• CSI 4125 Theory of Programming Languages, Winter 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

Publications

Some Conferences of Interest

• International Conference on Compiler Construction (CC 2005), April 4-8, 2005, Edinburgh, Scotland, part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2005)
• Federated Conference on Rewriting, Deduction and Programming (RDP 2005), April 19-23, 2005, Nara, Japan, includes 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) and 16th International Conference on Rewriting Techniques and Applications (RTA 2005)
• Seventh ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP 2005), July 11-13, 2005, Lisboa Portugal
• 20th International Conference on Automated Deduction (CADE-20), July 22-27, 2005, Tallinn, Estonia
• 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), August 22-25, 2005, Oxford, UK
• Conference on Automated Deduction (CADE)
• Symposium on Logic In Computer Science (LICS)
• ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP)
• ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL)
• ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Other Links of Interest

• 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)
• A homepage on logical frameworks
• The Lambda Prolog programming language
• 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 Université d'Ottawa / University of Ottawa
Webmestre / Webmaster