Zuzanna Owicka

Zuzanna Owicka
Zuzanna Owicka
Narodowość	amerykański
Alma Mater	Uniwersytet Cornella
zawód (-y)	; Informatyk Terapeuta małżeństwa i rodziny
Znany z	Stypendysta ACM
Współmałżonek	Jacka Owickiego
Dzieci	Dwa

Susan Owicki jest informatykiem , stypendystką Association for Computing Machinery (ACM) i jedną z założycielek listy mailingowej Systers dla kobiet pracujących w informatyce. Zmieniła karierę na początku 2000 roku i została licencjonowaną terapeutką małżeńską i rodzinną .

Życie akademickie

Owicki uzyskała tytuł doktora informatyki na Cornell University w 1975 roku. Jej doradcą był David Gries . W swojej pracy wynalazła wolność zakłóceń , metodę sprawdzania poprawności programów współbieżnych, która jest podstawą wielu późniejszych prac nad opracowywaniem programów współbieżnych ze wspólnymi zmiennymi i sprawdzaniem ich poprawności. Bezpośrednio z jej tezy wynikały dwie prace:

Była członkiem wydziału na Uniwersytecie Stanforda na wydziałach elektrotechniki i informatyki przez 10 lat. Jej zainteresowania badawcze obejmują systemy rozproszone, analizę wydajności i zaufane systemy dla handlu elektronicznego. Opublikowała liczne artykuły i patenty na temat swoich badań.

W 1994 Owicki została uznana za ACM Fellow za swoją pracę doktorską An Aksjomatyczna technika dowodu dla programów równoległych I .

Kariera w branży

Po Stanfordzie Susan Owicki została zatrudniona przez Digital Equipment Corporation (DEC).

Później pracowała w Strategic Technologies and Architectural Research Laboratory (STAR lab), gdzie pełniła rolę zastępcy dyrektora. Laboratorium STAR było pierwszym laboratorium poświęconym badaniom w zakresie zarządzania prawami cyfrowymi i powiązanymi technologiami handlu elektronicznego.

Przez cztery lata pracowała jako niezależny konsultant przy wykonywaniu telewizji interaktywnej i dostarczaniu strumieniowego wideo.

Życie osobiste

Owicki jest żoną Jacka Owickiego i ma dwoje dzieci.

Publikacje

Publikacje Owickiego m.in

Zuzanna Owicki; Davida Griesa (1976). „An Aksjomatyczna technika dowodowa dla programów równoległych I” (zwycięzca nagrody ACM Programming Systems and Languages Paper Award w 1977 r.)
Las Baskett; Jamesa H. Clarka ; Johna L. Hennessy'ego ; Zuzanna Owicki; Briana Reida . „Badania w zakresie projektowania i architektury systemów VLSI”. Uniwersytet Stanford. 1981.
Susan S. Owicki; Leslie Lamport . „Udowodnienie właściwości żywotności programów współbieżnych”. ACM TOPLAS . (4:3): 455-495.
Amy L. Lansky i Susan S. Owicki, „GEM: narzędzie do specyfikacji i weryfikacji współbieżności” , w Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing , ACM, Montreal, Quebec, Kanada, 1983.
Thomasa E. Andersona; Susan S. Owicki; James B. Saxe ; Charlesa P. Thackera (1993). „Planowanie szybkich przełączników dla sieci lokalnych” . ACM TOCS. (11:4): 319-352.

Pełniejsza lista publikacji jest dostępna w Internecie.

Patenty

Patenty Owickiego to m.in

Patent USA 5,446,901 — Odporny na błędy, rozproszony system wyrzucania elementów bezużytecznych i metoda zbierania obiektów sieciowych
Patent US 7,770,016 — Systemy i metody oprogramowania do znakowania wodnego i innych nośników

Terapeuta małżeński i rodzinny

Owicki jest także licencjonowanym terapeutą małżeńskim i rodzinnym. Prowadzi prywatną praktykę i jest członkiem personelu wydziału Uniwersytetu Stanforda oraz centrum pomocy dla personelu.

Linki zewnętrzne