Faculty profile
Amy Felty
Back to facultyThis profile is built from public research funding records (CIHR, NSERC and SSHRC). We have not imported them from a University of Ottawa directory, so their publications, courses and email address may be missing. Find their university profile.
Research
Latest funding
- $48,000
Linearity in Logical Frameworks
NSERC · 2024 · Principal investigator
- $387,000
A Higher-Order Abstract Syntax Approach to Reasoning about Programs and Programming Languages
NSERC · 2015 · Principal investigator
- $25,000
Risk-Based Adaptive Rules Engine for Fraud Detection in Mobile Commerce
NSERC · 2011 · Principal investigator
Linearity in Logical Frameworks
Principal investigators: Felty, Amy
Keywords: logical frameworks; linear logic; formal methods; theorem proving; higher-order logic; programming language semantics; higher-order abstract syntax; trustworthy computing; proof theory
A Higher-Order Abstract Syntax Approach to Reasoning about Programs and Programming Languages
Principal investigators: Felty, Amy
Risk-Based Adaptive Rules Engine for Fraud Detection in Mobile Commerce
Principal investigators: Felty, Amy
Machine-assisted theorem proving: Proof techniques and applications
Principal investigators: Felty, Amy
Proving safety and privacy properties of software
Principal investigators: Felty, Amy
Application-Centric Checkable Enablement of Privacy and Trust (ACCEPT)
Principal investigators: Matwin, Stanislaw
Requirements-driven development of distributed applications
Principal investigators: VonBochmann, Gregor
A proof development environment for proof-carrying code
Principal investigators: Felty, Amy
From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.
A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.