Susan Owicki

Last updated
Susan Owicki
NationalityAmerican
Alma mater Cornell University
Occupation(s) Computer scientist
Marriage and family therapist
Known for ACM 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.

Contents

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]

Related Research Articles

In theoretical computer science, an algorithm is correct with respect to a specification if it behaves as specified. Best explored is functional correctness, which refers to the input-output behavior of the algorithm.

In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Semantics assigns computational meaning to valid strings in a programming language syntax. It is closely related to, and often crosses over with, the semantics of mathematical proofs.

<span class="mw-page-title-main">Shafi Goldwasser</span> Israeli American computer scientist

Shafrira Goldwasser is an Israeli-American computer scientist and winner of the Turing Award in 2012. She is the RSA Professor of Electrical Engineering and Computer Science at Massachusetts Institute of Technology; a professor of mathematical sciences at the Weizmann Institute of Science, Israel; the director of the Simons Institute for the Theory of Computing at the University of California, Berkeley; and co-founder and chief scientist of Duality Technologies.

<span class="mw-page-title-main">Concurrency (computer science)</span> Ability to execute a task in a non-serial manner

In computer science, concurrency is the ability of different parts or units of a program, algorithm, or problem to be executed out-of-order or in partial order, without affecting the outcome. This allows for parallel execution of the concurrent units, which can significantly improve overall speed of the execution in multi-processor and multi-core systems. In more technical terms, concurrency refers to the decomposability of a program, algorithm, or problem into order-independent or partially-ordered components or units of computation.

In computer science, separation logic is an extension of Hoare logic, a way of reasoning about programs. It was developed by John C. Reynolds, Peter O'Hearn, Samin Ishtiaq and Hongseok Yang, drawing upon early work by Rod Burstall. The assertion language of separation logic is a special case of the logic of bunched implications (BI). A CACM review article by O'Hearn charts developments in the subject to early 2019.

<span class="mw-page-title-main">Susan L. Graham</span> American computer scientist

Susan Lois Graham is an American computer scientist. Graham is the Pehong Chen Distinguished Professor Emerita in the Computer Science Division of the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley.

<span class="mw-page-title-main">David Gries</span> American computer scientist

David Gries is an American computer scientist at Cornell University, United States mainly known for his books The Science of Programming (1981) and A Logical Approach to Discrete Math.

<span class="mw-page-title-main">Frances Allen</span> American computer scientist (1932–2020)

Frances Elizabeth Allen was an American computer scientist and pioneer in the field of optimizing compilers. Allen was the first woman to become an IBM Fellow, and in 2006 became the first woman to win the Turing Award. Her achievements include seminal work in compilers, program optimization, and parallelization. She worked for IBM from 1957 to 2002 and subsequently was a Fellow Emerita.

Uzi Vishkin is a computer scientist at the University of Maryland, College Park, where he is Professor of Electrical and Computer Engineering at the University of Maryland Institute for Advanced Computer Studies (UMIACS). Uzi Vishkin is known for his work in the field of parallel computing. In 1996, he was inducted as a Fellow of the Association for Computing Machinery, with the following citation: "One of the pioneers of parallel algorithms research, Dr. Vishkin's seminal contributions played a leading role in forming and shaping what thinking in parallel has come to mean in the fundamental theory of Computer Science."

Fred Barry Schneider is an American computer scientist, based at Cornell University, where he is the Samuel B. Eckert Professor of Computer Science. He has published in numerous areas including science policy, cybersecurity, and distributed systems. His research is in the area of concurrent and distributed systems for high-integrity and mission-critical applications.

<span class="mw-page-title-main">Jennifer Widom</span> American computer scientist

Jennifer Widom is an American computer scientist known for her work in database systems and data management. She is notable for foundational contributions to semi-structured data management and data stream management systems. Since 2017, Widom is the dean of the School of Engineering and professor of computer science at Stanford University. Her honors include the Fletcher Jones Professor of Computer Science and multiple lifetime achievement awards from the Association for Computing Machinery.

Mary Lou Ehnot Soffa is an American computer scientist noted for her research on compilers, program optimization, system software and system engineering.

<span class="mw-page-title-main">Carla Ellis</span> American computer scientist

Carla Schlatter Ellis is an American computer scientist and Emeritus Professor of Computer Science at Duke University. She is known for her work in energy management on mobile devices as well as for her dedication to increasing the number of women in the field of computer science. She is one of the founding members of Systers, an international email list of female computer scientists that was founded in 1987. Systers, which was initiated by Ellis and 12 other female computer scientists who met at a Symposium on Operating Systems Principles (SOSP), has since grown to over 3000 members.

Nancy Marie Amato is an American computer scientist noted for her research on the algorithmic foundations of motion planning, computational biology, computational geometry and parallel computing. Amato is the Abel Bliss Professor of Engineering and Head of the Department of Computer Science at the University of Illinois at Urbana-Champaign. Amato is noted for her leadership in broadening participation in computing, and is currently a member of the steering committee of CRA-WP, of which she has been a member of the board since 2000.

Maria Gini is an Italian and American Computer Scientist in artificial intelligence and robotics. She has considerable service to the computer science artificial intelligence community and for broadening participation in computing. She was Chair of the ACM Special Interest Group in Artificial Intelligence SIGAI from 2003 to 2010. She is currently a member of the CRA-W board.

<span class="mw-page-title-main">Kathleen Fisher</span> American computer scientist

Kathleen Shanahan Fisher is an American computer scientist who specializes in programming languages and their implementation.

<span class="mw-page-title-main">Jayadev Misra</span> American computer scientist (born 1947)

Jayadev Misra is an Indian-born computer scientist who has spent most of his professional career in the United States. He is the Schlumberger Centennial Chair Emeritus in computer science and a University Distinguished Teaching Professor Emeritus at the University of Texas at Austin. Professionally he is known for his contributions to the formal aspects of concurrent programming and for jointly spearheading, with Sir Tony Hoare, the project on Verified Software Initiative (VSI).

In computer science, interference freedom is a technique for proving partial correctness of concurrent programs with shared variables. Hoare logic had been introduced earlier to prove correctness of sequential programs. In her PhD thesis under advisor David Gries, Susan Owicki extended this work to apply to concurrent programs.

Svetlana “Lana” Yarosh is an associate professor in the University of Minnesota College of Science and Engineering at University of Minnesota. She is a Distinguished University Teaching Professor and recipient of the McKnight Presidential Fellowship. Yarosh does research as part of the GroupLens Research group.

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. 1 2 Owicki, Susan; Gries, David (25 June 1976). "An axiomatic proof technique for parallel programs I". Acta Informatica . Berlin: Springer (Germany). 6 (4): 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. 1 2 3 "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.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.