WANT A PROFILE LIKE THIS?
Create my FREE Plan Or learn about other options
Amy Felty
PeerJ Editor
0 Points

Amy P. Felty

PeerJ Editor

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

Editing Journals

PeerJ Computer Science

Past or current institution affiliations

University of Ottawa

Work details

Professor

University of Ottawa
School of Electrical Engineering and Computer Science

PeerJ Contributions