This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous.Find sources: "Susan Owicki" – news · newspapers · books · scholar · JSTOR (October 2012) (Learn how and when to remove this template message) This biography of a living person relies too much on references to primary sources. Please help by adding secondary or tertiary sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately, especially if potentially libelous or harmful.Find sources: "Susan Owicki" – news · newspapers · books · scholar · JSTOR (October 2012) (Learn how and when to remove this template message) (Learn how and when to remove this template message)
Susan Owicki
NationalityAmerican
Alma materCornell University
Occupation(s)Computer scientist
Marriage and family therapist
Known forACM Fellow
SpouseJack Owicki
ChildrenTwo

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.

Academic life

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]

Industry career

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.

Personal life

Owicki is married to Jack Owicki and has two children.[5]

Publications

Owicki's publications include

A more complete list of publications is available online.[8]

Patents

Owicki's patents include

Marriage and family therapist

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]

References

  1. ^ "Founding Systers » Anita Borg Institute for Women and Technology". Anitaborg.org. Retrieved 2012-10-24.
  2. ^ Owicki, Susan S. (August 1975). Axiomatic Proof Techniques for Parallel Programs (PhD thesis). Cornell University. hdl:1813/6393. Retrieved 2022-07-01.
  3. ^ a b Owicki, Susan; Gries, David (25 June 1976). "An axiomatic proof technique for parallel programs I". Acta Informatica. 6 (4). Berlin: Springer (Germany): 319–340. doi:10.1007/BF00268134. S2CID 206773583.
  4. ^ Owicki, Susan (May 1976). "Verifying properties of parallel programs: an axiomatic approach". Communications of the ACM. 19 (5): 279–285. doi:10.1145/360051.360224. S2CID 9099351.
  5. ^ a b c "CRA-W". Cra.org. Archived from the original on 21 September 2013.
  6. ^ "ACM: Fellows Award / Susan S Owicki". Fellows.acm.org. Retrieved 2012-10-24.
  7. ^ "ACM Programming Systems and Languages Paper Award". ACM: Association for Computing Machinery. 1977. Retrieved 2022-07-07.
  8. ^ "DBLP: Susan S. Owicki". Informatik.uni-trier.de. Retrieved 2012-10-24.
  9. ^ Ms. Susan Owicki Marriage & Family Therapist, MA. "Susan Owicki, Marriage & Family Therapist, Palo Alto, CA 94306 | Psychology Today's Therapy Directory". Palo Alto, CA 94306: Therapists.psychologytoday.com. Retrieved 2012-10-24.((cite web)): CS1 maint: location (link)
  10. ^ "Stanford University - Faculty and Staff Help Center - Suggested Books". Helpcenter.stanford.edu. Archived from the original on 2012-10-23. Retrieved 2012-10-24.