stringtranslate.com

Жанетт Уинг

Жанетт Мари Винг — директор Института науки о данных в Колумбийском университете , где она также является профессором компьютерных наук . [2] До 30 июня 2017 года она была корпоративным вице-президентом Microsoft Research , курируя основные исследовательские лаборатории по всему миру и Microsoft Research Connections. [3] [4] До 2013 года она была профессором компьютерных наук в Университете Карнеги-Меллона , Питтсбург , Пенсильвания , США . Она также занимала должность помощника директора по компьютерным и информационным наукам и инженерии в NSF с 2007 по 2010 год. [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] Она была назначена исполнительным вице-президентом Колумбийского университета по исследованиям в 2021 году. [15]

Фон

Винг получила степень бакалавра и магистра наук в области электротехники и компьютерных наук в Массачусетском технологическом институте в июне 1979 года. Ее научными руководителями были Рональд Ривест и Джон Райзер. В 1983 году она получила степень доктора философии в области компьютерных наук в Массачусетском технологическом институте под руководством Джона Гуттаг . [1] Она имеет черный пояс четвертой степени по Тансудо . [16]

Карьера и исследования

С 1982 по 1985 год Уинг работала на факультете Университета Южной Калифорнии , а с 1985 по 2012 год — на факультете Университета Карнеги — Меллон. С 2004 по 2007 год и с 2010 по 2012 год она занимала должность заведующей кафедрой компьютерных наук. В январе 2013 года она ушла из Университета Карнеги — Меллон, чтобы поработать в Microsoft Research.

Винг была ведущим членом сообщества формальных методов , особенно в области лиственницы . Она руководила многими исследовательскими проектами и широко публиковалась. [17]

Совместно с Барбарой Лисков она разработала принцип подстановки Лисков , опубликованный в 1993 году.

Она также была активным сторонником вычислительного мышления , излагая алгоритмические методы решения проблем и абстракции, используемые учеными-компьютерщиками, и то, как их можно применять в других дисциплинах. [5]

Она является членом редколлегии следующих журналов:

Признание

В 2003 году Уинг был назван членом IEEE «за вклад в методы для программных систем». [18]

Ссылки

  1. ^ abc Жанетт Винг в проекте «Генеалогия математики»
  2. ^ "Президент Боллинджер назначает главу исследовательского отдела Microsoft Жанетт Винг руководителем Института науки о данных Колумбийского университета" . Получено 1 мая 2017 г.
  3. ^ "Jeannette Wing" . Получено 6 июля 2014 г. .
  4. ↑ Клейтон, Стив (20 ноября 2012 г.). «Доктор Жанетт Винг: новый вице-президент, глава Microsoft Research International». blogs.microsoft.com .
  5. ^ ab Wing, Jeanette M. (2006). "Вычислительное мышление" (PDF) . Сообщения ACM . 49 (3): 33–35. doi :10.1145/1118178.1118215. hdl : 10818/29866 . S2CID  1693513.
  6. ^ Wing, Jeannette M; Woodcock, Jim ; Davies, Jim, ред. (1999). FM'99 – Формальные методы: Всемирный конгресс по формальным методам в разработке вычислительных систем Тулуза, Франция, 20–24 сентября 1999 г. Труды, том I . LNCS . Том 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, ред. (1999). FM'99 – Формальные методы: Всемирный конгресс по формальным методам в разработке вычислительных систем Тулуза, Франция, 20–24 сентября 1999 г. Труды, том II . LNCS . Том 1709. Springer-Verlag . doi :10.1007/3-540-48118-4. ISBN 978-3-540-66588-5. S2CID  2986421.
  8. ^ Мартин, У.; Винг, Дж. М., ред. (1993). Труды Первого международного семинара по лиственнице . Семинары по вычислительной технике. Springer-Verlag . ISBN 978-3-540-19804-8.
  9. ^ Гарланд, С. Дж.; Джонс, К. Д.; Модет, А.; Винг, Дж. М. (1993). Гуттаг, Дж. В .; Хорнинг, Дж. Дж. (ред.). Лиственница: Языки и инструменты для формальной спецификации . 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. ^ Жанетт М. Винг на сервере библиографии DBLP
  11. ^ Публикации Жанетт Уинг, проиндексированные в библиографической базе данных Scopus . (требуется подписка)
  12. ^ Страница профиля автора Жанетт Винг в ACM Digital Library
  13. ^ Herlihy, MP; Wing, JM (1990). «Линеаризуемость: условие корректности для параллельных объектов». Труды ACM по языкам и системам программирования . 12 (3): 463. CiteSeerX 10.1.1.142.5315 . doi :10.1145/78969.78972. S2CID  228785. 
  14. ^ Кларк, Э. М.; Винг, Дж. М. (1996). «Формальные методы: современное состояние и будущие направления». ACM Computing Surveys . 28 (4): 626. CiteSeerX 10.1.1.60.8874 . doi :10.1145/242223.242257. S2CID  5534240. 
  15. ^ "Джаннетт Винг повышена до исполнительного вице-президента по исследованиям - Columbia Spectator". Columbia Daily Spectator . Получено 18.08.2021 .
  16. ^ Маклафлин, Кевин. «14 руководителей технических компаний, которые, вероятно, надерут вам задницу в драке». Business Insider . Получено 09.04.2021 .
  17. ^ "Жаннет М. Уинг". cs.cmu.edu .
  18. ^ "Справочник стипендиатов IEEE". IEEE . Получено 24.07.2021 .

Внешние ссылки


  • v
  • t
  • e