Dr. Catherine Meadows heads the Formal Methods Section in the Center for High Assurance Computer Systems at the Naval Research Laboratory. She is the principal designer of the NRL Protocol Analyzer, one of the first software tools to be used successfully for cryptographic protocol analysis, and has long been one of the leading figures in this area. She has actively promoted the use of formal methods in the development of protocol standards, performing formal analyses for the Internet Engineering Task Force, including an analysis of the Internet Key Exchange Protocol. She is currently working on a descendant of the NRL Protocol Analyzer, the Maude-NPA, as well as the Procedure Derivation Logic, a formal system for reasoning about security procedures.

Dr. Meadows has published more than 100 papers on formal methods, cryptography and security, and has chaired program committees for many technical conferences, such as ACM's SIGSAC's flagship Computer and Communications Security Conference. She currently serves as Chair of IFIP Working Group 1.7 on Foundations of Security Analysis and Design, and until recently served at Associate Editor-in-Chief, IEEE Transactions on Dependable and Secure Data Systems. In 2004, Dr. Meadows received a Women of Influence Award from the Executive Women's Forum. Prior to joining the Naval Research Laboratory in 1985, she was an assistant professor in the Texas A&M math department from 1981 to 1985.