Jeannette Wing

Last updated
Jeannette Wing
Jeannette Wing, Davos 2013.jpg
Speaking at the World Economic Forum
in Davos, Switzerland, on January 26, 2013.
Born
Jeannette Marie Wing

(1956-12-04) 4 December 1956 (age 67)
Nationality American
Alma mater Massachusetts Institute of Technology (BS, MS, PhD)
Scientific career
Fields Computer science
Institutions Columbia University,
Carnegie Mellon University,
University of Southern California
Thesis A Two-Tiered Approach to Specifying Programs  (1983)
Doctoral advisor John Guttag [1]
Doctoral students Greg Morrisett [1]
Website cs.cmu.edu/~wing/

Jeannette Marie Wing is Avanessians Director of the Data Science Institute at Columbia University, where she is also a professor of computer science. [2] Until June 30, 2017, she was Corporate Vice President of Microsoft Research with oversight of its core research laboratories around the world and Microsoft Research Connections. [3] [4] Prior to 2013, she was the President's Professor of Computer Science at Carnegie Mellon University, Pittsburgh, Pennsylvania, United States. She also served as assistant director for Computer and Information Science and Engineering at the NSF from 2007 to 2010. [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] She was appointed the Columbia University executive vice president for research in 2021. [15]

Contents

Background

Wing earned her S.B. and S.M. in Electrical Engineering and Computer Science at MIT in June 1979. Her advisers were Ronald Rivest and John Reiser. In 1983, she earned her Ph.D. in Computer Science at MIT under John Guttag. [1] She is a fourth-degree black belt in Tang Soo Do. [16]

Career and research

Wing was on the faculty of the University of Southern California from 1982 to 1985 and then the faculty of Carnegie Mellon from 1985 to 2012. She served as the head of the Computer Science Department from 2004 to 2007 and from 2010 to 2012. In January 2013, she took a leave from Carnegie Mellon to work at Microsoft Research.

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

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

She has also been a strong promoter of computational thinking, expressing the algorithmic problem-solving and abstraction techniques used by computer scientists and how they might be applied in other disciplines. [5]

She is a member of the editorial board of the following journals:

Recognition

Wing was named a Fellow of the IEEE in 2003, "for contributions to methods for software systems". [18]

Related Research Articles

<span class="mw-page-title-main">Tony Hoare</span> British computer scientist

Sir Charles Antony Richard Hoarehor is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.

<span class="mw-page-title-main">Liskov substitution principle</span> Object-oriented programming principle

The Liskov substitution principle (LSP) is a particular definition of a subtyping relation, called strong behavioral subtyping, that was initially introduced by Barbara Liskov in a 1987 conference keynote address titled Data abstraction and hierarchy. It is based on the concept of "substitutability" – a principle in object-oriented programming stating that an object may be replaced by a sub-object without breaking the program. It is a semantic rather than merely syntactic relation, because it intends to guarantee semantic interoperability of types in a hierarchy, object types in particular. Barbara Liskov and Jeannette Wing described the principle succinctly in a 1994 paper as follows:

Subtype Requirement: Let be a property provable about objects of type T. Then should be true for objects of type S where S is a subtype of T.

The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Interest Group on Algorithms and Computational Theory. The award is named in honor of Kurt Gödel. Gödel's connection to theoretical computer science is that he was the first to mention the "P versus NP" question, in a 1956 letter to John von Neumann in which Gödel asked whether a certain NP-complete problem could be solved in quadratic or linear time.

The Larch Prover, or LP for short, is an interactive theorem proving system for multi-sorted first-order logic. It was used at MIT and elsewhere during the 1990s to reason about designs for circuits, concurrent algorithms, hardware, and software.

<span class="mw-page-title-main">Barbara Liskov</span> American computer scientist

Barbara Liskov is an American computer scientist who has made pioneering contributions to programming languages and distributed computing. Her notable work includes the introduction of abstract data types and the accompanying principle of data abstraction, along with the Liskov substitution principle, which applies these ideas to object-oriented programming, subtyping, and inheritance. Her work was recognized with the 2008 Turing Award, the highest distinction in computer science.

James Jay Horning was an American computer scientist and ACM Fellow.

<span class="mw-page-title-main">John C. Reynolds</span> American computer scientist (1935–2013)

John Charles Reynolds was an American computer scientist.

<span class="mw-page-title-main">John Guttag</span> American computer scientist

John Vogel Guttag is an American computer scientist, professor, and former head of the department of electrical engineering and computer science at MIT. He conducts research on computer networks and medical applications of AI as co-lead of the MIT Computer Science and Artificial Intelligence Laboratory's Networks and Mobile Systems Group.

M. Dale Skeen is an American computer scientist. He specializes in designing and implementing large-scale computing systems, distributed computing and database management systems.

<span class="mw-page-title-main">Randal Bryant</span> American computer scientist (born 1952)

Randal E. Bryant is an American computer scientist and academic noted for his research on formally verifying digital hardware and software. Bryant has been a faculty member at Carnegie Mellon University since 1984. He served as the Dean of the School of Computer Science (SCS) at Carnegie Mellon from 2004 to 2014. Dr. Bryant retired and became a Founders University Professor Emeritus on June 30, 2020.

Computational thinking (CT) refers to the thought processes involved in formulating problems so their solutions can be represented as computational steps and algorithms. In education, CT is a set of problem-solving methods that involve expressing problems and their solutions in ways that a computer could also execute. It involves automation of processes, but also using computing to explore, analyze, and understand processes.

<span class="mw-page-title-main">Daniel Jackson (computer scientist)</span>

Daniel Jackson is a professor of Computer Science at the Massachusetts Institute of Technology (MIT). He is the principal designer of the Alloy modelling language, and author of the books Software Abstractions: Logic, Language, and Analysis and The Essence of Software. He leads the Software Design Group at MIT's Computer Science and Artificial Intelligence Laboratory.

Amos Fiat is an Israeli computer scientist, a professor of computer science at Tel Aviv University. He is known for his work in cryptography, online algorithms, and algorithmic game theory.

Liuba Shrira is a professor of computer science at Brandeis University, whose research interests primarily involve distributed systems. Shrira is accredited with having coined the phrase "promise" when referring to the completion of an asynchronous operation and its resulting value for the JavaScript programming language

Mathai Joseph is an Indian computer scientist and author.

<span class="mw-page-title-main">Jayadev Misra</span> American computer scientist (born 1947)

Jayadev Misra is an Indian-born computer scientist who has spent most of his professional career in the United States. He is the Schlumberger Centennial Chair Emeritus in computer science and a University Distinguished Teaching Professor Emeritus at the University of Texas at Austin. Professionally he is known for his contributions to the formal aspects of concurrent programming and for jointly spearheading, with Sir Tony Hoare, the project on Verified Software Initiative (VSI).

<span class="mw-page-title-main">Sergiy Vilkomir</span> Ukrainian-born computer scientist (1956–2020)

Sergiy A. Vilkomir was a Ukrainian-born computer scientist.

<span class="mw-page-title-main">Hussein Zedan</span>

Hussein S. M. Zedan was a computer scientist of Egyptian descent, mainly based in the United Kingdom.

References

  1. 1 2 3 Jeannette Wing at the Mathematics Genealogy Project
  2. ↑ "President Bollinger Names Microsoft Research Head Jeannette Wing to Lead Columbia's Data Science Institute" . Retrieved May 1, 2017.
  3. ↑ "Jeannette Wing" . Retrieved July 6, 2014.
  4. ↑ Clayton, Steve (November 20, 2012). "Dr. Jeannette Wing: New Vice President, Head of Microsoft Research International". blogs.microsoft.com.
  5. 1 2 Wing, Jeanette M. (2006). "Computational thinking" (PDF). Communications of the ACM . 49 (3): 33–35. doi:10.1145/1118178.1118215. hdl: 10818/29866 . S2CID   1693513.
  6. ↑ Wing, Jeannette M; Woodcock, Jim; Davies, Jim, eds. (1999). FM'99 – Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I . LNCS. Vol. 1708. Springer-Verlag. doi:10.1007/3-540-48119-2. ISBN   978-3-540-66587-8. S2CID   36821080.
  7. ↑ Wing, Jeannette M; Woodcock, Jim; Davies, Jim, eds. (1999). FM'99 – Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II . LNCS. Vol. 1709. Springer-Verlag. doi:10.1007/3-540-48118-4. ISBN   978-3-540-66588-5. S2CID   2986421.
  8. ↑ Martin, U.; Wing, J. M., eds. (1993). Proceedings of the First International Workshop on Larch. Workshops in Computing. Springer-Verlag. ISBN   978-3-540-19804-8.
  9. ↑ Garland, S. J.; Jones, K. D.; Modet, A.; Wing, J. M. (1993). Guttag, J. V.; Horning, J. J. (eds.). Larch: Languages and Tools for Formal Specification. Springer-Verlag. CiteSeerX   10.1.1.137.5123 . doi:10.1007/978-1-4612-2704-5. ISBN   978-1-4612-7636-4. S2CID   13066418.
  10. ↑ Jeannette M. Wing at DBLP Bibliography Server OOjs UI icon edit-ltr-progressive.svg
  11. ↑ Jeannette Wing's publications indexed by the Scopus bibliographic database. (subscription required)
  12. ↑ Jeannette Wing author profile page at the ACM Digital Library
  13. ↑ Herlihy, M. P.; Wing, J. M. (1990). "Linearizability: A correctness condition for concurrent objects". ACM Transactions on Programming Languages and Systems. 12 (3): 463. CiteSeerX   10.1.1.142.5315 . doi:10.1145/78969.78972. S2CID   228785.
  14. ↑ Clarke, E. M.; Wing, J. M. (1996). "Formal methods: State of the art and future directions". ACM Computing Surveys. 28 (4): 626. CiteSeerX   10.1.1.60.8874 . doi:10.1145/242223.242257. S2CID   5534240.
  15. ↑ "Jeannette Wing promoted to executive vice president for research - Columbia Spectator". Columbia Daily Spectator. Retrieved 2021-08-18.
  16. ↑ McLaughlin, Kevin. "14 Tech Execs Who Could Probably Kick Your Butt In A Fight". Business Insider. Retrieved 2021-04-09.
  17. ↑ "Jeannette M. Wing". cs.cmu.edu.
  18. ↑ "IEEE Fellows directory". IEEE. Retrieved 2021-07-24.


This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.