# Susan Owicki

> American computer scientist

**Wikidata**: [Q14104](https://www.wikidata.org/wiki/Q14104)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Susan_Owicki)  
**Source**: https://4ort.xyz/entity/susan-owicki

## Summary
Susan Owicki is an American computer scientist known for her pioneering work in concurrent programming and formal methods. She is a professor at Stanford University and was named an ACM Fellow in 1994 for her contributions to the field.

## Biography
- Born: Not specified
- Nationality: United States
- Education: Ph.D. in Computer Science from Cornell University in 1975, advised by David Gries
- Known for: Concurrent programming theory and formal methods
- Employer(s): Stanford University, Digital Equipment Corporation
- Field(s): Computer science, concurrent programming, formal methods

## Contributions
Susan Owicki is best known for developing the Owicki-Gries method, a foundational approach to reasoning about concurrent programs. This method, created with David Gries, provides a systematic way to verify the correctness of concurrent systems using Hoare-style logic. Her work established critical theoretical foundations that enabled safer and more reliable multi-threaded software development. At Digital Equipment Corporation, she applied these principles to practical systems, bridging the gap between academic theory and industrial application. Her research has influenced generations of computer scientists working on parallel and distributed computing systems.

## FAQs
### Q: What is Susan Owicki most famous for?
A: She is most famous for co-developing the Owicki-Gries method for reasoning about concurrent programs, a foundational technique in computer science.

### Q: Where did Susan Owicki work?
A: She has worked at Stanford University as a professor and at Digital Equipment Corporation as a researcher.

### Q: What award did Susan Owicki receive?
A: She was named an ACM Fellow in 1994 for her contributions to concurrent programming theory.

## Why They Matter
Susan Owicki's work fundamentally changed how computer scientists approach concurrent programming. Before her contributions, reasoning about multiple threads of execution was largely ad hoc and error-prone. The Owicki-Gries method provided a rigorous mathematical framework that made it possible to prove program correctness in concurrent systems. This breakthrough has had lasting impact on everything from operating systems to distributed databases, enabling the development of more reliable multi-threaded applications. Her influence extends through her doctoral students, many of whom have become leaders in computer science themselves.

## Notable For
- Co-creator of the Owicki-Gries method for concurrent program verification
- ACM Fellow (1994) for contributions to concurrent programming theory
- Ph.D. from Cornell University under David Gries
- Professor at Stanford University
- Research at Digital Equipment Corporation applying formal methods to practical systems

## Body
### Academic Background
Susan Owicki earned her Ph.D. in Computer Science from Cornell University in 1975, studying under David Gries. Her doctoral work laid the groundwork for what would become her most influential contribution to computer science.

### The Owicki-Gries Method
The Owicki-Gries method, developed in the 1970s, provides a compositional approach to verifying concurrent programs. It extends Hoare logic to handle shared-variable concurrency by introducing auxiliary variables and specific proof rules. This method became a standard tool in the formal verification of concurrent systems.

### Industry Impact
At Digital Equipment Corporation, Owicki applied her theoretical work to real-world systems. Her research helped bridge the gap between academic formal methods and practical software engineering, influencing how concurrent systems were designed and verified in industry.

### Academic Legacy
As a professor at Stanford University, Owicki has mentored numerous doctoral students who have gone on to influential careers in computer science. Her academic lineage includes researchers who have continued advancing the fields of concurrent programming and formal methods.

### Professional Recognition
Her election as an ACM Fellow in 1994 recognized her fundamental contributions to the theory of concurrent programming. This honor places her among the most distinguished computer scientists of her generation.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Susan Owicki",
  "jobTitle": "Computer Scientist, Professor",
  "worksFor": {
    "@type": "Organization",
    "name": "Stanford University"
  },
  "nationality": {
    "@type": "Country",
    "name": "United States"
  },
  "alumniOf": {
    "@type": "EducationalOrganization",
    "name": "Cornell University"
  },
  "knowsAbout": [
    "Computer Science",
    "Concurrent Programming",
    "Formal Methods"
  ],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q69652498",
    "https://en.wikipedia.org/wiki/Susan_Owicki"
  ],
  "description": "American computer scientist known for the Owicki-Gries method for concurrent program verification"
}

## References

1. [Source](http://www.owickimft.com/profile.html)
2. [Source](https://awards.acm.org/award-winners/OWICKI_1219047)
3. Mathematics Genealogy Project
4. [Source](https://awards.acm.org/fellows/award-recipients)