Amy FeltyAssociate Professor |
Research Interests:
Theorem proving, automated deduction,
Preuves sur ordinateur, démonstration automatique, |
Teaching
- SEG 2100 Introduction to Software Engineering, Fall 2006
- CSI 5110 Principles of Formal Software Development, Fall 2006
- CSI 4125 Theory of Programming Languages, Winter 2005, Winter 2006
- 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
Bibliography and CV
Conferences
- 20th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2007), Kaiserslautern, Germany, 11-13 September, 2007. Program Committee Member.
- 21st Conference on Automated Deduction (CADE-21), Bremen, Germany, July 16-20, 2007. 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
- 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 © Université d'Ottawa / University of Ottawa
Webmestre / Webmaster