Amy Felty
Academic Editor

Amy P. Felty


Summary

Amy Felty is a Professor in the School of Electrical Engineering and Computer Science at the University of Ottawa, and is the Director of the Software Correctness and Safety Laboratory. Prof. Felty is an expert in formal methods and has over 20 years of experience in applying them in domains such as programming language design, privacy and security, safety of mobile code, protocol verification, telecommunications software, and access control policy analysis.

Programming Languages Theory & Formal Methods

Institution affiliations

Work details

Professor

University of Ottawa
School of Electrical Engineering and Computer Science