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.