Jeannette M. Wing

The reason why I chose Ms. Zhou Yizhen is that I first saw this legendary Asian lady who proposed the concept of computing thinking when I was working on the concept and application of Google computing thinking. The identity of this lady's compatriot has aroused my great interest in this lady. So I explored Ms. Zhou Yizhen's career with curiosity and found that she has made great contributions and influence to the modern computer field.

Jeannette M. Wing is an outstanding computer scientist as well as a Chinese American computer scientist. Professor, Carnegie Mellon University. Assistant Secretary of the Computing and Information Science Engineering Department of the National Natural Science Foundation of the United States. ACM and IEEE members.

Jeannette M. Wing is the proponent of computational thinking. Through reduction, embedding, transformation, simulation and other methods, a seemingly difficult problem is reinterpreted into a method that we know how to solve the problem. This theory lowers the threshold for us to learn computer technology.

Her main research areas are formal methods, trusted computing, distributed systems, programming languages, etc. [1] In 1993, she worked with Barbara Liskov, winner of the Turing Prize, to put forward the famous Liskov substitution principle, which is one of the basic object-oriented principles.

The content of the Richter substitution principle can be described as: "Derived class (subclass) objects can replace their base class (superclass) objects in the program." The above content is not Liskov's original text, but is translated from Robert Martin's interpretation of the original text. The original text is:

“ Let display style q(x) be a property provable about objects displaystyle x of type displaystyle T. Then displaystyle q(y) should be true for objects displaystyle y of type displaystyle S where displaystyle S is a subtype of displaystyle T. ”[2]