kids encyclopedia robot

Catherine Meadows facts for kids

Kids Encyclopedia Facts
Quick facts for kids
Catherine Ann Meadows
Education University of Chicago (1975), Ph.D. at University of Illinois at Urbana–Champaign (1981)
Occupation Cryptographer
Employer Center for High Assurance Systems at the Naval Research Laboratory
Known for Developing tools for formal verification of cryptographic protocols

Catherine Ann Meadows is an American expert who works with secret codes and computer security. She is famous for creating special tools. These tools help check if secret communication methods, called cryptographic protocols, are safe. They can also find any weaknesses in these methods. She works as a top researcher at the Naval Research Laboratory. She also leads a team that uses special computer methods to make systems super reliable.

Her Journey in Science

Catherine Ann Meadows went to the University of Chicago. She graduated from there in 1975.

Advanced Studies in Math

She earned a special degree called a Ph.D. in mathematics. This was in 1981 at the University of Illinois at Urbana–Champaign. Her big research paper was about "Projections of Varieties." It was part of a math field called algebraic geometry.

Teaching and Research Career

Before joining the Naval Research Laboratory, she was a math professor. She taught at Texas A&M University from 1981 to 1985. After that, she started her important work at the Naval Research Laboratory.

Honoring Her Work

In May 2019, a special event was held to celebrate Catherine Meadows. It took place in Fredericksburg, Virginia. A collection of essays from this event was published in her honor. This type of book is called a festschrift.

kids search engine
Catherine Meadows Facts for Kids. Kiddle Encyclopedia.