请输入您要查询的百科知识:

 

词条 Susan Owicki
释义

  1. Academic life

  2. Industry career

  3. Personal life

  4. Publications

  5. Patents

  6. Marriage and family therapist

  7. References

  8. External links

{{multiple issues|{{BLP sources|date=October 2012}}{{BLP primary sources|date=October 2012}}
}}

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.[2] At Cornell, she invented Interference Freedom, a method for proving concurrent programs correct.

[2]

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.[3]

In 1994 Owicki was recognized as an ACM Fellow for her dissertation work An Axiomatic Proof Technique for Parallel Programs I.[4]

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.[3]

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.[3]

Publications

Owicki's publications include

  • Susan Owicki; David Gries (1976). "An Axiomatic Proof Technique for Parallel Programs I". Acta informatica. (6): 319-340. (Winner of the 1977 ACM Award for best paper in programming languages and systems.[5])
  • 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.[6]

Patents

Owicki's patents include

  • {{US patent|5446901}} - Fault tolerant distributed garbage collection system and method for collecting network objects
  • {{US patent|7770016}} - Systems and methods for watermarking software and other media

Marriage and family therapist

Owicki is also a licensed marriage and family therapist.[7] She maintains a private practice and is on the staff of the Stanford University faculty and staff help center.[8]

References

1. ^{{cite web|url=http://anitaborg.org/initiatives/systers/founding-systers/ |title=Founding Systers » Anita Borg Institute for Women and Technology |publisher=Anitaborg.org |date= |accessdate=2012-10-24}}
2. ^{{cite web|author=David Gries |url=http://www.cs.cornell.edu/gries/banquets/symposium40/gries1.html |title=40th Ann. Symposium, CS@Cornell |publisher=Cs.cornell.edu |date=1973-07-27 |accessdate=2012-10-24}}
3. ^{{cite web|url=http://www.cra.org/Activities/craw_archive/craw/members/levesonOwicki.html |title=CRA-W |publisher=Cra.org |date= |accessdate=2012-10-24}}
4. ^{{cite web|url=http://fellows.acm.org/fellow_citation.cfm?id=1219047&srt=all |title=ACM: Fellows Award / Susan S Owicki |publisher=Fellows.acm.org |date= |accessdate=2012-10-24}}
5. ^{{cite web|url=http://awards.acm.org/html/psl.cfm |title=ACM Awards |publisher=Awards.acm.org |date= |accessdate=2012-10-24}}
6. ^{{cite web|url=http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/o/Owicki:Susan_S=.html |title=DBLP: Susan S. Owicki |publisher=Informatik.uni-trier.de |date= |accessdate=2012-10-24}}
7. ^{{cite web|author=Ms. Susan Owicki Marriage & Family Therapist , MA |url=http://therapists.psychologytoday.com/rms/name/Susan_Owicki_MA_Palo+Alto_California_46275 |title=Susan Owicki, Marriage & Family Therapist, Palo Alto, CA 94306 | Psychology Today's Therapy Directory |location=Palo Alto, CA 94306 |publisher=Therapists.psychologytoday.com |date= |accessdate=2012-10-24}}
8. ^{{cite web |url=http://helpcenter.stanford.edu/staff.html |title=Stanford University - Faculty and Staff Help Center - Suggested Books |publisher=Helpcenter.stanford.edu |date= |accessdate=2012-10-24 |deadurl=yes |archiveurl=https://web.archive.org/web/20121023054553/http://helpcenter.stanford.edu/staff.html |archivedate=2012-10-23 |df= }}

External links

  • Comprehensive bibliography of publications.
  • OwickiMFT.com, counseling with Susan Owicki, MFT
{{Authority_Control}}{{DEFAULTSORT:Owicki, Susan}}

8 : American computer scientists|American women scientists|Cornell University alumni|Digital Equipment Corporation people|Fellows of the Association for Computing Machinery|Living people|Women computer scientists|Year of birth missing (living people)

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/9/24 0:31:03