Misplaced Pages

Jeannette Wing: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editContent deleted Content addedVisualWikitext
Revision as of 10:12, 7 March 2017 edit85.92.163.187 (talk) →Education← Previous edit Latest revision as of 01:41, 3 December 2024 edit undo69.174.135.241 (talk) Updated current position at Columbia University.Tag: Visual edit 
(44 intermediate revisions by 33 users not shown)
Line 1: Line 1:
{{short description|American computer scientist}}
{{Infobox scientist {{Infobox scientist
| name = Jeannette Wing | name = Jeannette Wing
| image = Jeannette Wing, Davos 2013.jpg | image = Jeannette Wing, Davos 2013.jpg
| caption = {{longitem|Speaking at the ] in ], Switzerland, on January 26, 2013.}} | caption = {{longitem|Speaking at the ] <br>in ], Switzerland, on January 26, 2013.}}
| birth_name = Jeannette Marie Wing | birth_name = Jeannette Marie Wing
| birth_date = | birth_place = | birth_date = {{birth date and age|df=y|1956|12|4}}
| death_date = | death_place = | birth_place =
| death_date =
⚫ | nationality = ]
| death_place =
⚫ | field = ]
⚫ | nationality = ]
⚫ | work_institution = ]
⚫ | field = ]
⚫ | alma_mater = ]
⚫ | work_institution = ], <br>], <br>]
⚫ | doctoral_advisor = ]<ref name="mathgene">{{MathGenealogy|id=50090}}</ref>
⚫ | alma_mater = ] (], ], ])
| doctoral_students_ref = <ref name="mathgene"/>
⚫ | doctoral_advisor = ]<ref name="mathgene">{{MathGenealogy|id=50090}}</ref>
| doctoral_students = {{hlist|item_style=white-space:nowrap; |C. Damon |D. Detlefs |B. Horn |D. Kindred |F. Knabe{{dot}}}} {{hlist|item_style=white-space:nowrap; |R. Lerner |G. Morrisett |S. Nettles |R. O'Callahan{{dot}}}} {{hlist|item_style=white-space:nowrap; |O. Sheyner |M. Tschantz |H. Wong |T. Wong |A. Zaremski{{thinsp}}<ref name=mathgene/>}}
| doctoral_students = ]<ref name=mathgene/>
| thesis_title = A Two-Tiered Approach to Specifying Programs | thesis_title = A Two-Tiered Approach to Specifying Programs
| thesis_year = 1983 | thesis_year = 1983
| thesis_url = http://www.cs.cmu.edu/~wing/publications/Wing83.pdf | thesis_url = https://www.cs.cmu.edu/~wing/publications/Wing83.pdf
| known_for =
| prizes = | known_for =
| prizes =
| website = {{URL|http://www.cs.cmu.edu/~wing/}} | website = {{URL|cs.cmu.edu/~wing/}}
}} }}


'''Jeannette Marie Wing''' is Corporate Vice President of ] with oversight of its core research laboratories around the world and Microsoft Research Connections.<ref>{{cite web |url=http://research.microsoft.com/en-us/press/jeannette-wing.aspx |title=Jeannette Wing |accessdate=July 6, 2014}}</ref><ref>http://blogs.technet.com/b/next/archive/2012/11/20/dr-jeannette-wing-new-vice-president-head-of-microsoft-research-international.aspx</ref> <!-- '''Jeannette Marie Wing''' is the Executive Vice President for Research at ], where she is also a professor of ]<ref>{{Cite web |date=2021-08-18 |title=Jeannette M. Wing Appointed Executive Vice President for Research |url=https://datascience.columbia.edu/news/2021/jeannette-m-wing-appointed-executive-vice-president-for-research/ |access-date=2024-12-03 |website=The Data Science Institute at Columbia University |language=en-US}}</ref>. Prior to her appointment on September 1, 2021, she served as the Avanessians Director of the Data Science Institute at ]<ref>{{cite web | url=http://news.columbia.edu/content/President-Bollinger-Names-Microsoft-Research-Head-Jeannette-Wing-to-Lead-Columbias-Data-Science-Institute|title=President Bollinger Names Microsoft Research Head Jeannette Wing to Lead Columbia's Data Science Institute | access-date=May 1, 2017}}</ref>. Until June 30, 2017, she was Corporate Vice President of ] with oversight of its core research laboratories around the world and Microsoft Research Connections.<ref>{{cite web |url=http://research.microsoft.com/en-us/press/jeannette-wing.aspx |title=Jeannette Wing |access-date=July 6, 2014}}</ref><ref>{{cite web|url=https://blogs.microsoft.com/ai/dr-jeannette-wing-new-vice-president-head-of-microsoft-research-international/|title=Dr. Jeannette Wing: New Vice President, Head of Microsoft Research International|date=November 20, 2012 |first=Steve |last=Clayton|website=blogs.microsoft.com}}</ref> <!--
-->Prior to 2013, she was the President's Professor of ] at ], ], ], ]. She also served as assistant director for Computer and Information Science and Engineering at the ] from 2007 to 2010.<ref name="compthink">{{Cite journal | doi = 10.1145/1118178.1118215| title = Computational thinking| journal = ]| volume = 49| issue = 3| pages = 33| year = 2006| url = https://www.cs.cmu.edu/~15110-s13/Wing06-ct.pdf| last1 = Wing | first1 = Jeanette M. | authorlink = Jeannette Wing}}</ref><ref>{{Cite book| editor1-last = Wing | editor1-first = Jeannette M | editor1-link = Jeannette Wing| editor2-last = Woodcock | editor2-first = Jim | editor2-link = Jim Woodcock| editor3-last = Davies | editor3-first = Jim| title = FM'99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I| doi = 10.1007/3-540-48119-2| series = ]| volume = 1708| publisher = ]| year = 1999| isbn = 978-3-540-66587-8}}</ref><ref>{{Cite book| editor1-last = Wing | editor1-first = Jeannette M | editor1-link = Jeannette Wing| editor2-last = Woodcock | editor2-first = Jim | editor2-link = Jim Woodcock| editor3-last = Davies | editor3-first = Jim| title = FM'99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II| doi = 10.1007/3-540-48118-4| series = ]| volume = 1709| publisher = ]| year = 1999| isbn = 978-3-540-66588-5}}</ref><ref>{{cite book |editor1-last=Martin |editor1-first=U. |editor1-link=Ursula Martin |editor2-last=Wing |editor2-first=J. M. |editor2-link=Jeannette Wing |year=1993 |title=Proceedings of the First International Workshop on Larch |series=Workshops in Computing |publisher=] |isbn=3-540-19804-0}}</ref><ref>{{Cite book | last1 = Garland | first1 = S. J.| last2 = Jones | first2 = K. D.| last3 = Modet | first3 = A.| last4 = Wing | first4 = J. M. | author4-link = Jeannette Wing| editor1-last = Guttag | editor1-first = J. V. | editor1-link = John Guttag| editor2-last = Horning | editor2-first = J. J. |editor2-link = Jim Horning| doi = 10.1007/978-1-4612-2704-5| title = Larch: Languages and Tools for Formal Specification| publisher = ]| year = 1993| isbn = 978-1-4612-7636-4}}</ref><ref>{{DBLP|name=Jeannette M. Wing}}</ref><ref name="scopus">{{Scopus|id=7102329155}}</ref><ref name="acm">{{ACMPortal|id=81339536422}}</ref><ref>{{Cite journal | doi = 10.1145/78969.78972| title = Linearizability: A correctness condition for concurrent objects| journal = ACM Transactions on Programming Languages and Systems| volume = 12| issue = 3| pages = 463| year = 1990| last1 = Herlihy | first1 = M. P. | last2 = Wing | first2 = J. M. }}</ref><ref>{{Cite journal | doi = 10.1145/242223.242257| title = Formal methods: State of the art and future directions| journal = ACM Computing Surveys| volume = 28| issue = 4| pages = 626| year = 1996| last1 = Clarke | first1 = E. M. | last2 = Wing | first2 = J. M. }}</ref> -->Prior to 2013, she was the President's Professor of Computer Science at ], ], ], ]. She also served as assistant director for Computer and Information Science and Engineering at the ] from 2007 to 2010.<ref name="compthink">{{Cite journal | doi = 10.1145/1118178.1118215| title = Computational thinking| journal = ]| volume = 49| issue = 3| pages = 33–35| year = 2006| url = https://www.cs.cmu.edu/~15110-s13/Wing06-ct.pdf| last1 = Wing | first1 = Jeanette M. | s2cid = 1693513| authorlink = Jeannette Wing| hdl = 10818/29866| hdl-access = free}}</ref><ref>{{Cite book| editor1-last = Wing| editor1-first = Jeannette M| editor1-link = Jeannette Wing| editor2-last = Woodcock| editor2-first = Jim| editor2-link = Jim Woodcock| editor3-last = Davies| editor3-first = Jim| title = FM'99 – Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I| doi = 10.1007/3-540-48119-2| series = ]| volume = 1708| publisher = ]| year = 1999| isbn = 978-3-540-66587-8| s2cid = 36821080| url-access = registration| url = https://archive.org/details/fm99formalmethod0000worl}}</ref><ref>{{Cite book| editor1-last = Wing| editor1-first = Jeannette M| editor1-link = Jeannette Wing| editor2-last = Woodcock| editor2-first = Jim| editor2-link = Jim Woodcock| editor3-last = Davies| editor3-first = Jim| title = FM'99 – Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II| doi = 10.1007/3-540-48118-4| series = ]| volume = 1709| publisher = ]| year = 1999| isbn = 978-3-540-66588-5| s2cid = 2986421| url-access = registration| url = https://archive.org/details/fm99formalmethod0000worl}}</ref><ref>{{cite book |editor1-last=Martin |editor1-first=U. |editor1-link=Ursula Martin |editor2-last=Wing |editor2-first=J. M. |editor2-link=Jeannette Wing |year=1993 |title=Proceedings of the First International Workshop on Larch |series=Workshops in Computing |publisher=] |isbn=978-3-540-19804-8}}</ref><ref>{{Cite book | last1 = Garland | first1 = S. J.| last2 = Jones | first2 = K. D.| last3 = Modet | first3 = A.| last4 = Wing | first4 = J. M. | author4-link = Jeannette Wing| editor1-last = Guttag | editor1-first = J. V. | editor1-link = John Guttag| editor2-last = Horning | editor2-first = J. J. |editor2-link = Jim Horning| doi = 10.1007/978-1-4612-2704-5| title = Larch: Languages and Tools for Formal Specification| publisher = ]| year = 1993| isbn = 978-1-4612-7636-4| citeseerx = 10.1.1.137.5123| s2cid = 13066418}}</ref><ref>{{DBLP|name=Jeannette M. Wing}}</ref><ref name="scopus">{{Scopus|id=7102329155}}</ref><ref name="acm">{{ACMPortal|id=81339536422}}</ref><ref>{{Cite journal | doi = 10.1145/78969.78972| title = Linearizability: A correctness condition for concurrent objects| journal = ACM Transactions on Programming Languages and Systems| volume = 12| issue = 3| pages = 463| year = 1990| last1 = Herlihy | first1 = M. P. | last2 = Wing | first2 = J. M. | citeseerx = 10.1.1.142.5315| s2cid = 228785}}</ref><ref>{{Cite journal | doi = 10.1145/242223.242257| title = Formal methods: State of the art and future directions| journal = ACM Computing Surveys| volume = 28| issue = 4| pages = 626| year = 1996| last1 = Clarke | first1 = E. M. | last2 = Wing | first2 = J. M. | citeseerx = 10.1.1.60.8874| s2cid = 5534240}}</ref> She was appointed the Columbia University executive vice president for research in 2021.<ref>{{Cite web|title=Jeannette Wing promoted to executive vice president for research - Columbia Spectator|url=https://www.columbiaspectator.com/news/2021/08/18/jeannette-wing-promoted-to-executive-vice-president-for-research/|access-date=2021-08-18|website=Columbia Daily Spectator}}</ref> <!--
-->


== Education == == Background ==
Wing earned her S.B. and S.M. in Electrical Engineering and Computer Science at ] in June 1979. Her advisers were ] and John Reiser. In 1983, she earned her Ph.D. in Computer Science at MIT under ].<ref name="mathgene"/> Wing earned her S.B. and S.M. in Electrical Engineering and Computer Science at ] in June 1979. Her advisers were ] and John Reiser. In 1983, she earned her Ph.D. in Computer Science at MIT under ].<ref name="mathgene"/> She is a fourth-degree black belt in ].<ref>{{Cite web|last=McLaughlin|first=Kevin|title=14 Tech Execs Who Could Probably Kick Your Butt In A Fight|url=https://www.businessinsider.com/14-tech-execs-who-practice-martial-arts-2013-6|access-date=2021-04-09|website=Business Insider}}</ref>
<ref>google.com</ref>


== Career and research == == Career and research ==
Wing was on the faculty of the ] 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 was on the faculty of the ] 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 ] community, especially in the area of ]. She has led many research projects and has published widely.<ref>http://www.cs.cmu.edu/afs/cs/usr/wing/www/publications/</ref> Wing has been a leading member of the ] community, especially in the area of ]. She has led many research projects and has published widely.<ref>{{cite web |url=https://www.cs.cmu.edu/afs/cs/usr/wing/www/publications/ |title=Jeannette M. Wing |website=cs.cmu.edu}}</ref>


With ], she developed the ], published in 1993. With ], she developed the ], published in 1993.


She has also been a strong promoter of ], expressing the algorithmic problem-solving and abstraction techniques used by computer scientists and how they might be applied in other disciplines.<ref name="compthink"/> She has also been a strong promoter of ], expressing the algorithmic problem-solving and abstraction techniques used by computer scientists and how they might be applied in other disciplines.<ref name="compthink"/>


She is a member of the editorial board of the following journals: She is a member of the editorial board of the following journals:
*'']'' {{smaller|(co-Editor-in-Chief)}}
*'']'' *'']''
*'']'' {{smaller|(North American Editor)}} *'']'' {{smaller|(North American Editor)}}
Line 44: Line 47:
*''Journal of Information Science and Engineering'' *''Journal of Information Science and Engineering''
*''Software Tools for Technology Transfer'' *''Software Tools for Technology Transfer''

==Recognition==
Wing was named a ] in 2003, "for contributions to methods for software systems".<ref>{{cite web|url=https://services27.ieee.org/fellowsdirectory/home.html|title=IEEE Fellows directory|publisher=IEEE|access-date=2021-07-24}}</ref>


== References == == References ==
Line 49: Line 55:


== External links == == External links ==
* Aaronson, Lauren, * Aaronson, Lauren,
* *


{{Authority control}} {{Authority control}}

⚫ {{-}}


{{DEFAULTSORT:Wing, Jeannette}} {{DEFAULTSORT:Wing, Jeannette}}
Line 58: Line 66:
] ]
] ]
] ]
] ]
⚫ ]
] ]
]
] ]
] ]
] ]
] ]
] ]
] ]
] ]
] ]
⚫ ]
]
]



⚫ {{-}}
{{US-academic-scientist-stub}} {{US-academic-scientist-stub}}

Latest revision as of 01:41, 3 December 2024

American computer scientist
Jeannette Wing
Speaking at the World Economic Forum
in Davos, Switzerland, on January 26, 2013.
BornJeannette Marie Wing
(1956-12-04) 4 December 1956 (age 68)
NationalityAmerican
Alma materMassachusetts Institute of Technology (BS, MS, PhD)
Scientific career
FieldsComputer science
InstitutionsColumbia University,
Carnegie Mellon University,
University of Southern California
ThesisA Two-Tiered Approach to Specifying Programs (1983)
Doctoral advisorJohn Guttag
Doctoral studentsGreg Morrisett
Websitecs.cmu.edu/~wing/

Jeannette Marie Wing is the Executive Vice President for Research at Columbia University, where she is also a professor of computer science. Prior to her appointment on September 1, 2021, she served as the Avanessians Director of the Data Science Institute at Columbia University. 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. 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. She was appointed the Columbia University executive vice president for research in 2021.

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. She is a fourth-degree black belt in Tang Soo Do.

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.

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.

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".

References

  1. ^ Jeannette Wing at the Mathematics Genealogy Project
  2. "Jeannette M. Wing Appointed Executive Vice President for Research". The Data Science Institute at Columbia University. 2021-08-18. Retrieved 2024-12-03.
  3. "President Bollinger Names Microsoft Research Head Jeannette Wing to Lead Columbia's Data Science Institute". Retrieved May 1, 2017.
  4. "Jeannette Wing". Retrieved July 6, 2014.
  5. Clayton, Steve (November 20, 2012). "Dr. Jeannette Wing: New Vice President, Head of Microsoft Research International". blogs.microsoft.com.
  6. ^ 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.
  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 I. LNCS. Vol. 1708. Springer-Verlag. doi:10.1007/3-540-48119-2. ISBN 978-3-540-66587-8. S2CID 36821080.
  8. 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.
  9. 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.
  10. 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.
  11. Jeannette M. Wing at DBLP Bibliography Server Edit this at Wikidata
  12. Jeannette Wing's publications indexed by the Scopus bibliographic database. (subscription required)
  13. Jeannette Wing author profile page at the ACM Digital Library
  14. 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.
  15. 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.
  16. "Jeannette Wing promoted to executive vice president for research - Columbia Spectator". Columbia Daily Spectator. Retrieved 2021-08-18.
  17. McLaughlin, Kevin. "14 Tech Execs Who Could Probably Kick Your Butt In A Fight". Business Insider. Retrieved 2021-04-09.
  18. "Jeannette M. Wing". cs.cmu.edu.
  19. "IEEE Fellows directory". IEEE. Retrieved 2021-07-24.

External links


Flag of United StatesScientist icon

This article about an American scientist in academia is a stub. You can help Misplaced Pages by expanding it.

Categories: