Jeannette Wing

Jeannette M. Wing (born 4 December 1956) is a professor of computer science objects (Computer Science) at Carnegie Mellon University. In 1979 she was awarded the degrees of Bachelor and Master in electrical engineering and computer science at MIT, just there, she received a Ph.D. in 1983 in computer science.

It is known among other things for the elaboration of Liskovschen substitution principle, together with Barbara Liskov. Her particular research interest was in the area of ​​specification and verification, concurrent and distributed systems and programming languages. In the present, she is working on techniques and tools to analyze the software safety; in this subject area, she worked among others for a year at Microsoft.

433497
de