Jeannette Wing

Jeannette Wing is an American computer scientist known for her work in formal methods, programming methodology and the idea of computational thinking. She earned her bachelor's and master's degrees in electrical engineering and computer science at MIT in 1979 and her doctorate there in 1983 under John Guttag. She taught at the University of Southern California from 1982 to 1985 and at Carnegie Mellon University from 1985 to 2012, where she headed the Computer Science Department from 2004 to 2007 and again from 2010 to 2012. From 2007 to 2010 she served at the National Science Foundation as assistant director for Computer and Information Science and Engineering, and until June 2017 she was a corporate vice president of Microsoft Research, overseeing its core research laboratories. She then directed the Data Science Institute at Columbia University and in 2021 became the university's executive vice president for research. With Barbara Liskov she developed the Liskov substitution principle, published in 1993. She is a Fellow of the ACM and of the IEEE and a member of the National Academy of Engineering.