Jeannette Wing

From Wikipedia, the free encyclopedia

Jeannette M. Wing is a computer science professor at Carnegie Mellon University, Pittsburgh, United States.

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.

[edit] 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.