Catherine Meadows facts for kids
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.
Contents
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.