Susan Owicki

Susan Owicki
Susan Owicki
Nationalitet	amerikansk
Alma mater	Cornell University
Yrke(n)	; Datavetare Äktenskaps- och familjeterapeut
Känd för	ACM-stipendiat
Make	Jack Owicki
Barn	Två

Susan Owicki är en datavetare , Association for Computing Machinery (ACM) Fellow, och en av grundarna av Systers e-postlista för kvinnor inom datoranvändning. Hon bytte karriär i början av 2000-talet och blev legitimerad äktenskaps- och familjeterapeut .

Akademiskt liv

Owicki doktorerade i datavetenskap från Cornell University 1975. Hennes rådgivare var David Gries . I sitt examensarbete uppfann hon Interference freedom , en metod för att bevisa att samtidiga program är korrekta, som ligger till grund för mycket av det efterföljande arbetet med att utveckla samtidiga program med delade variabler och bevisa att de är korrekta. Två uppsatser kom direkt från hennes avhandling:

Hon var fakultetsmedlem vid Stanford University för avdelningarna för elektroteknik och datavetenskap i 10 år. Hennes forskningsintressen inkluderar distribuerade system, prestandaanalys och betrodda system för elektronisk handel och hon publicerade ett flertal artiklar och patent om sin forskning.

1994 erkändes Owicki som ACM Fellow för sitt avhandlingsarbete An Axiomatic Proof Technique for Parallel Programs I .

Branschkarriär

Efter Stanford anställdes Susan Owicki av Digital Equipment Corporation (DEC).

Hon arbetade senare på Strategic Technologies and Architectural Research Laboratory (STAR lab) där hon hade en roll som Associate Director. STAR lab var det första laboratoriet som ägnas åt forskning inom hantering av digitala rättigheter och relaterad elektronisk handelsteknik.

Hon tillbringade fyra år som oberoende konsult och arbetade med interaktiv tv och leverans av strömmande video.

Privatliv

Owicki är gift med Jack Owicki och har två barn.

Publikationer

Owickis publikationer inkluderar

Susan Owicki; David Gries (1976). "An Axiomatic Proof Technique for Parallel Programs I" (vinnare av ACM Programming Systems and Languages Paper Award 1977.)
Forest Baskett; James H. Clark ; John L. Hennessy ; Susan Owicki; Brian Reid . "Forskning i VLSI Systems Design and Architecture". Stanford University. 1981.
Susan S Owicki; Leslie Lamport . "Bevisa livskraftsegenskaper för samtidiga program". ACM TOPLAS . (4:3): 455-495.
Amy L. Lansky och Susan S. Owicki, "GEM: A Tool for Concurrency Specification and Verification," , i Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing , ACM, Montreal, Quebec, Kanada, 1983.
Thomas E. Anderson; Susan S. Owicki; James B. Saxe ; Charles P. Thacker (1993). "Höghastighetsswitchschemaläggning för lokala nätverk". ACM TOCS. (11:4): 319-352.

En mer komplett lista över publikationer finns tillgänglig online.

Patent

Owickis patent inkluderar

US Patent 5 446 901 - Feltolerant distribuerat sophämtningssystem och metod för insamling av nätverksobjekt
US Patent 7 770 016 - System och metoder för vattenmärkning av programvara och andra medier

Äktenskaps- och familjeterapeut

Owicki är också en licensierad äktenskaps- och familjeterapeut. Hon har en privat praktik och är anställd på Stanford Universitys fakultet och personalhjälpcenter.

externa länkar