Jeannette Wing

Creator of Computational Thinking & Pioneer of Behavioral Subtyping

Lifespan 1956–

Technical Depth advanced

Key Breakthrough Liskov-Wing Behavioral Subtyping Formalism & Computational Thinking

Focus Areas

software engineering theoretical computing programming education

Topic Keywords

#behavioral subtyping #Liskov substitution #computational thinking #formal methods #software architecture

Source: Historical Biographical Archive / Wikimedia Commons

Jeannette Wing

Creator of Computational Thinking & Pioneer of Behavioral Subtyping

Biographical Overview

Formulated the mathematical foundation of behavioral subtyping (the Liskov-Wing theorem) and spearheaded the global Computational Thinking movement in computer science education. As Executive Vice President for Research at Columbia University and former Corporate VP at Microsoft Research, Wing defined formal verification methods for distributed and concurrent software.

"Computational thinking is a fundamental skill for everyone, not just computer scientists. To reading, writing, and arithmetic, we should add computational thinking."
— Jeannette Wing

Lifespan 1956–

Technical Depth advanced

Key Breakthrough Liskov-Wing Behavioral Subtyping Formalism & Computational Thinking

Focus Areas

software engineering theoretical computing programming education

Topic Keywords

#behavioral subtyping #Liskov substitution #computational thinking #formal methods #software architecture

Source: Historical Biographical Archive / Wikimedia Commons

💡

Historical Context & Impact

In short

Jeannette Wing co-invented behavioral subtyping with Barbara Liskov to solve a major software bug: how to mathematically guarantee that replacing a parent class object with a child class object won't break a program. Her 1994 paper gave object-oriented languages their core type-safety guarantees, before her 2006 manifesto inspired school districts worldwide to teach computational thinking alongside reading and math.

Key Technical Breakthroughs & Inventions

Liskov-Wing Behavioral Subtyping Formalism (1994) Proved the semantic specification of behavioral subtyping with Barbara Liskov, ensuring that subtype objects can substitute for supertypes without altering program correctness.

Global Computational Thinking Movement Authored the landmark 2006 Communications of the ACM treatise establishing "Computational Thinking" as a core foundational skill across worldwide K-12 and university education.

Formal Verification of Concurrent Systems Developed mathematical specification languages and verification models preventing race conditions and deadlocks in complex concurrent software.

National Science Foundation (CISE) Directorate Leadership Directed the CISE Directorate at NSF, guiding national funding for cybersecurity, big data, and high-performance computing research.