Biography.guide
Home › People › Computer scientist › Catherine Meadows
Portrait of Catherine Meadows

Catherine Meadows

b. 2000

American cryptographer

Don't just read it — keep itBiographies to ownE-book · Audio · Video From $7 →

About Catherine Meadows

Born 2000. Catherine Meadows is a computer scientist, mathematician and cryptographer, known for Formal verification.

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. She 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.

Biography shop

Don’t just read it —
keep it.

Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.

  • E-book
  • Audio
  • Video
Browse the shop — from $7

Instant download · yours to keep · every purchase keeps this site free

Important facts

Born
2000
Birth century
Known for
Formal verification
Education
University of Illinois Urbana-Champaign, University of Chicago, University of Illinois at Urbana–Champaign
Employers
Texas A&M University, United States Naval Research Laboratory, Naval Research Laboratory
Also known as
Catherine Ann Meadows, Catherine A. Meadows, C. A. Meadows

People in Catherine Meadows's life

Named in this biography and alive at the same time

Contemporaries

People whose lives overlapped Catherine Meadows's

Frequently asked questions

Who is Catherine Meadows?

American cryptographer

When was Catherine Meadows born?

Catherine Meadows was born in 2000.

What is Catherine Meadows's occupation?

Catherine Meadows is a computer scientist, mathematician and cryptographer.

What is Catherine Meadows known for?

Catherine Meadows is known for Formal verification.

Sources & further reading

· Wikipedia: Catherine Meadows

· Wikidata: Q68235186

· DBpedia: Catherine Meadows

Cite this page

APA: Biography.guide. (2026). Catherine Meadows. https://biography.guide/catherine-meadows/

MLA: "Catherine Meadows." Biography.guide, https://biography.guide/catherine-meadows/.

Chicago: "Catherine Meadows." Biography.guide. https://biography.guide/catherine-meadows/.

Data last updated: 2026-09-22 · Spot an error? Report a correction.

Page generated 2026-09-27 05:29 UTC