Formal Methods refers to the application of techniques of mathematical logic for the design, implementation and testing of computer systems. The earliest experiments using Formal Methods during the development of large computer systems were in the area of computer security. The goal at that time was verifiably secure software design, and the targets were one-of-a-kind systems for handling classified information. The speaker will review results and lessons learned, and present her views on the past and future promise of Formal Methods.

Background

Bio: Deborah Cooper is President and CEO of an independent consulting firm in Arlington, Virginia, and has over 20 years experience in computer systems, including 15 years in Information Systems Security. She has participated in the development of numerous trusted informaton systems and has served on numerous panels and committees resolving national security and privacy issues. She is Chair of the IEEE Computer Society Technical Committee on Security and Privacy and a member of the Computer Society Technical Activities Board. Her previous positions included Director of Business Development for Unisys, Director of Advanced Technology for Paramax and Director of Formal Methods at Systems Development Corporation. Ms. Cooper earned her B.A. and M.A. degrees in Analytic Philosophy and Mathematical Logic from the University of California, Los Angeles; a Certificat d�Attestation d�Etudes from the University of Bordeaux, France; and completed all but dissertation requirements for the Ph.D., University of California, Los Angeles.

CREST home page	News	Research	Seminar Series	Publications	Feedback