Susan Owicki

Last updated
Susan Owicki
Alma mater Cornell University
Occupation Computer scientist
Marriage and family therapist
Known for ACM Fellow
Spouse(s)Jack Owicki

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]


Owicki's publications include

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


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

Tony Hoare British computer scientist

Sir Charles Antony Richard Hoare is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.

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.

Shafi Goldwasser 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 MIT, a professor of mathematical sciences at the Weizmann Institute of Science, Israel, co-founder and chief scientist of Duality Technologies and the director of the Simons Institute for the Theory of Computing in Berkeley, CA.

Concurrency (computer science) Ability 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 final 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.

Brent Hailpern is a computer scientist retired from IBM Research. His research work focused on programming languages, software engineering, and concurrency.

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.

Susan L. Graham 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.

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.

Frances Allen American computer scientist

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."

Mary Jane Irwin is an Emerita Evan Pugh Professor in the Department of Computer Science and Engineering at Pennsylvania State University. She has been on the faculty at Penn State since 1977. She is an international expert in computer architecture. Her research and teaching interests include computer architecture, embedded and mobile computing systems design, power and reliability aware design, and emerging technologies in computing systems.

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

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.

Kathleen Fisher American computer scientist

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

Yuanyuan (YY) Zhou is a Chinese and American computer scientist and entrepreneur. She is a professor of computer science and engineering at the University of California, San Diego, where she holds the Qualcomm Endowed Chair in Mobile Computing. Her research concerns software reliability, including the use of data mining to automatically detect software bugs and flexible system designs that can adapt to hardware platform variations. She is also the founder of three start-up companies, Emphora, Pattern Insight, and Whova.

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.


  1. "Founding Systers » Anita Borg Institute for Women and Technology". 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". Archived from the original on 21 September 2013.
  6. "ACM: Fellows Award / Susan S Owicki". 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". 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: Retrieved 2012-10-24.{{cite web}}: CS1 maint: location (link)
  10. "Stanford University - Faculty and Staff Help Center - Suggested Books". Archived from the original on 2012-10-23. Retrieved 2012-10-24.