Katarzyna Łąka

Katarzyna Ann Meadows
Edukacja	Uniwersytet Chicagowski (1975), dr hab. na Uniwersytecie Illinois w Urbana-Champaign (1981)
Zawód	kryptograf
Pracodawca	Center for High Assurance Systems w Naval Research Laboratory
Znany z	Tworzenie narzędzi do formalnej weryfikacji protokołów kryptograficznych

Catherine Ann Meadows jest amerykańską kryptografką znaną z opracowywania narzędzi do formalnej weryfikacji i automatycznego wykrywania luk w protokołach kryptograficznych . Jest starszym pracownikiem naukowym w Centrum Systemów Wysokiego Ubezpieczenia w Laboratorium Badawczym Marynarki Wojennej i kierownikiem Sekcji Metod Formalnych laboratorium.

Edukacja i kariera

Meadows jest absolwentem University of Chicago z 1975 roku . Ukończyła doktorat. z matematyki na Uniwersytecie Illinois w Urbana-Champaign w 1981 r. Jej rozprawa Projekcje rozmaitości dotyczyła geometrii algebraicznej i była nadzorowana przez E. Grahama Evansa Jr. W latach 1981-1985 była adiunktem matematyki na Texas A&M University, zanim dołączył do Laboratorium Badawczego Marynarki Wojennej.

Uznanie

Sympozjum odbyło się na cześć Meadowsa w Fredericksburgu w Wirginii w maju 2019 roku, a zbiór esejów z sympozjum został opublikowany jako festschrift .

Linki zewnętrzne

• Catherine Meadows indeksowane przez Google Scholar