Jeannette Marie Wing is a computer science

Computer science

Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...

 professor at Carnegie Mellon University

Carnegie Mellon University

Carnegie Mellon University is a private research university in Pittsburgh, Pennsylvania, United States....

, Pittsburgh, Pennsylvania

Pennsylvania

The Commonwealth of Pennsylvania is a U.S. state that is located in the Northeastern and Mid-Atlantic regions of the United States. The state borders Delaware and Maryland to the south, West Virginia to the southwest, Ohio to the west, New York and Ontario, Canada, to the north, and New Jersey to...

, United States

United States

The United States of America is a federal constitutional republic comprising fifty states and a federal district...

, and assistant director for Computer and Information Science and Engineering at the NSF

National Science Foundation

The National Science Foundation is a United States government agency that supports fundamental research and education in all the non-medical fields of science and engineering. Its medical counterpart is the National Institutes of Health...

.

She earned her S.B. and S.M. in Electrical Engineering and Computer Science at MIT in June 1979. Her advisors were Ronald Rivest and John Reiser. In 1983, she earned her Ph.D. in Computer Science at MIT under John Guttag

John Guttag

John V. Guttag is an American Computer Scientist, Professor and former Head of the Department of Electrical Engineering and Computer Science at MIT....

.

Wing has been a leading member of the formal methods

Formal methods

In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...

 community, especially in the area of Larch

Larch family

The Larch family of formal specification languages are intended for the precise specification of computing systems. They allow the clean specification of computer programs and the formulation of proofs about program behavior....

. She has led many research projects and has published widely http://www.cs.cmu.edu/afs/cs/usr/wing/www/publications/.

With Barbara Liskov

Barbara Liskov

Barbara Liskov is a computer scientist. She is currently the Ford Professor of Engineering in the MIT School of Engineering's Electrical Engineering and Computer Science department and an Institute Professor at the Massachusetts Institute of Technology.-Life and career:She earned her BA in...

, Jeannette Wing developed the Liskov substitution principle

Liskov substitution principle

Substitutability is a principle in object-oriented programming. It states that, in a computer program, if S is a subtype of T, then objects of type T may be replaced with objects of type S without altering any of the desirable properties of that program...

, published in 1993.

She is on the editorial board of the following journals:
Journal of the ACM

Journal of the ACM

The Journal of the ACM is the flagship scientific journal of the Association for Computing Machinery . It is peer-reviewed and covers computer science in general, especially theoretical aspects. Its current editor-in-chief is Victor Vianu, from University of California, San Diego.The journal has...

,
Formal Aspects of Computing

Formal Aspects of Computing

Formal Aspects of Computing is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British...

 (North American Editor),
Formal Methods in System Design,
International Journal of Software and Informatics

International Journal of Software and Informatics

The International Journal of Software and Informatics is a quarterly peer-reviewed scientific journal of computer science. It was started by the Institute of Software of the Chinese Academy of Sciences...

,
Journal of Information Science and Engineering,
Software Tools for Technology Transfer.

Books

• J. M. Wing, J. C. P. Woodcock, and J. Davies (eds.), Proceedings of FM'99: First World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, Springer-Verlag, LNCS 1708 (Volume I) and 1709 (Volume II), 1999.
• U. Martin
  Ursula Martin
  Ursula Martin is a British computer scientist. She is Vice-Principal of Science and Engineering at Queen Mary, University of London and a Professor of Computer Science in the Department of Computer Science there....
  
   and J. M. Wing (eds.), Proceedings of the First International Workshop on Larch, Springer-Verlag, Workshops in Computing Series, 1993.
• J. V. Guttag and J. J. Horning (eds.) with S. J. Garland, K. D. Jones, A. Modet, and J. M. Wing, Larch: Languages and Tools for Formal Specification, Springer-Verlag, 1993.

External links

• Jeannette M. Wing home page
• http://www.spectrum.ieee.org/print/4095 Q&A With: Jeannette Wing By Lauren Aaronson
• Jon Udell's Interviews with Innovators - Dr. Jeannette Wing