Jeannette Wing

Jeannette Marie Wing is a computer science professor at Carnegie Mellon University, Pittsburgh, Pennsylvania, United States, and assistant director for Computer and Information Science and Engineering at the NSF.

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.

Wing has been a leading member of the formal methods community, especially in the area of Larch. She has led many research projects and has published widely [1].

With Barbara Liskov, Jeannette Wing developed the Liskov substitution principle, published in 1993.

She is on the editorial board of the following journals: Journal of the ACM, Formal Aspects of Computing (North American Editor), Formal Methods in System Design, International Journal of Software and Informatics, 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 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.

See also

• Women in computing
• Liskov substitution principle

External links

• Jeannette M. Wing home page
• List of publications from the DBLP Bibliography Server.
• [2] Q&A With: Jeannette Wing By Lauren Aaronson
• Jon Udell's Interviews with Innovators - Dr. Jeannette Wing