Catherine Meadows

American cryptographer
The basics

Quick Facts

IntroAmerican cryptographer
A.K.A.Catherine Ann Meadows
A.K.A.Catherine Ann Meadows
PlacesUnited States of America
isComputer scientist Mathematician Cryptographer
Work fieldMathematics Technology Science
Gender
Female
The details

Biography

Catherine Ann Meadows is an American cryptographer known for her development of tools for the formal verification and automated discovery of flaws in cryptographic protocols. She is a senior researcher in the Center for High Assurance Systems at the Naval Research Laboratory and the head of the laboratory's Formal Methods Section.

Education and career

Meadows is a 1975 graduate of the University of Chicago. completed a Ph.D. in mathematics at the University of Illinois at Urbana–Champaign in 1981. Her dissertation, Projections of Varieties, concerned algebraic geometry and was supervised by E. Graham Evans Jr. She was an assistant professor of mathematics at Texas A&M University from 1981 to 1985 before joining the Naval Research Laboratory.

Recognition

A symposium was held in Meadows's honor in Fredericksburg, Virginia in May 2019, and a collection of essays from the symposium was published as a festschrift.

The contents of this page are sourced from Wikipedia article on 29 Feb 2020. The contents are available under the CC BY-SA 4.0 license.