Loading AI tools
Susan Owicki is a computer scientist, Association for Computing Machinery (ACM) Fellow, and one of the founding members of the Systers mailing list for women in computing.[1] She changed careers in the early 2000s and became a licensed marriage and family therapist.
 | This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)
|
Susan Owicki | |
|---|---|
| Nationality | American |
| Alma mater | Cornell University |
| Occupation(s) | Computer scientist Marriage and family therapist |
| Known for | ACM Fellow |
| Spouse | Jack Owicki |
| Children | Two |
Owicki received her PhD in computer science from Cornell University in 1975. Her advisor was David Gries. In her thesis,[2] she invented Interference freedom, a method for proving concurrent programs correct, which is basis for much of the ensuing work on developing concurrent programs with shared variables and proving them correct. Two papers resulted directly from her thesis:[3][4]
She was a faculty member at Stanford University for the Electrical Engineering and Computer Science Departments for 10 years. Her research interests include distributed systems, performance analysis, and trusted systems for electronic commerce and she published numerous articles and patents on her research.[5]
In 1994 Owicki was recognized as an ACM Fellow for her dissertation work An Axiomatic Proof Technique for Parallel Programs I.[6]
After Stanford, Susan Owicki was employed by Digital Equipment Corporation (DEC).
She later worked at the Strategic Technologies and Architectural Research Laboratory (STAR lab) where she held a role as Associate Director. STAR lab was the first laboratory devoted to research in digital rights management and related electronic commerce technologies.[5]
She spent four years as an independent consultant doing work in the performance of interactive television and delivery of streaming video.
Owicki is married to Jack Owicki and has two children.[5]
Owicki's publications include
- Susan Owicki; David Gries (1976). "An Axiomatic Proof Technique for Parallel Programs I"[3] (winner of the 1977 ACM Programming Systems and Languages Paper Award.[7])
- Forest Baskett; James H. Clark; John L. Hennessy; Susan Owicki; Brian Reid. "Research in VLSI Systems Design and Architecture". Stanford University. 1981.
- Susan S Owicki; Leslie Lamport. "Proving Liveness Properties of Concurrent Programs". ACM TOPLAS. (4:3): 455-495.
- Amy L. Lansky and Susan S. Owicki, "GEM: A Tool for Concurrency Specification and Verification,", in Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, ACM, Montreal, Quebec, Canada, 1983.
- Thomas E. Anderson; Susan S. Owicki; James B. Saxe; Charles P. Thacker (1993). "High-speed Switch Scheduling for Local-Area Networks". ACM TOCS. (11:4): 319-352.
A more complete list of publications is available online.[8]
Owicki's patents include
- U.S. patent 5,446,901 - Fault tolerant distributed garbage collection system and method for collecting network objects
- U.S. patent 7,770,016 - Systems and methods for watermarking software and other media
Owicki is also a licensed marriage and family therapist.[9] She maintains a private practice and is on the staff of the Stanford University faculty and staff help center.[10]
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
