Жаннетт Винг - Jeannette Wing

Жаннетт Винг
Жаннетт Винг, Давос, 2013.jpg
Выступая на Всемирный Экономический Форум
в Давос, Швейцария, 26 января 2013 г.
Родившийся
Жаннетт Мари Винг
НациональностьАмериканец
Альма-матерМассачусетский Институт Технологий
Научная карьера
ПоляИнформатика
УчрежденияКолумбийский университет,
Университет Карнеги Меллон,
Университет Южной Калифорнии
ТезисДвухуровневый подход к определению программ  (1983)
ДокторантДжон Гуттаг[1]
ДокторантыГрег Моррисетт[1]
Интернет сайтcs.cmu.edu/ ~ крыло/

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

Образование

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

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

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

Wing был ведущим членом формальные методы сообщества, особенно в районе Лиственница. Она руководила множеством исследовательских проектов и широко публиковалась.[15]

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

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

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

Рекомендации

  1. ^ а б c Жаннетт Винг на Проект "Математическая генеалогия"
  2. ^ «Президент Боллинджер назначил главу отдела исследований Microsoft Жаннет Уинг руководить Институтом науки о данных Колумбии». Получено 1 мая, 2017.
  3. ^ "Крыло Жаннет". Получено 6 июля, 2014.
  4. ^ Клейтон, Стив (20 ноября 2012 г.). «Доктор Жаннетт Винг: новый вице-президент, глава Microsoft Research International». blogs.microsoft.com.
  5. ^ а б Крыло, Жанетт М. (2006). «Вычислительное мышление» (PDF). Коммуникации ACM. 49 (3): 33. Дои:10.1145/1118178.1118215.
  6. ^ Крыло, Жаннетт М; Вудкок, Джим; Дэвис, Джим, ред. (1999). FM'99 - Формальные методы: Всемирный конгресс по формальным методам в разработке вычислительных систем Тулуза, Франция, 20–24 сентября 1999 г., Труды, том I. LNCS. 1708. Springer-Verlag. Дои:10.1007/3-540-48119-2. ISBN  978-3-540-66587-8.
  7. ^ Крыло, Жаннетт М; Вудкок, Джим; Дэвис, Джим, ред. (1999). FM'99 - Формальные методы: Всемирный конгресс по формальным методам в разработке вычислительных систем Тулуза, Франция, 20–24 сентября 1999 г. Труды, том II. LNCS. 1709. Springer-Verlag. Дои:10.1007/3-540-48118-4. ISBN  978-3-540-66588-5.
  8. ^ Мартин, У.; Винг, Дж. М., ред. (1993). Материалы Первого международного семинара по лиственнице.. Мастерские по вычислительной технике. Springer-Verlag. ISBN  978-3-540-19804-8.
  9. ^ Гарланд, С. Дж .; Джонс, К. Д .; Modet, A .; Винг, Дж. М. (1993). Гуттаг, Дж. В.; Хорнинг, Дж. Дж. (ред.). Лиственница: языки и инструменты для формальной спецификации. Springer-Verlag. CiteSeerX  10.1.1.137.5123. Дои:10.1007/978-1-4612-2704-5. ISBN  978-1-4612-7636-4.
  10. ^ Жаннетт М. Винг в DBLP Сервер библиографии Отредактируйте это в Викиданных
  11. ^ Публикации Жаннетт Винг индексируется Scopus библиографическая база данных. (требуется подписка)
  12. ^ Жаннетт Винг страница профиля автора на ACM Цифровая библиотека
  13. ^ Herlihy, M. P .; Уинг, Дж. М. (1990). «Линеаризуемость: условие корректности для параллельных объектов». Транзакции ACM по языкам и системам программирования. 12 (3): 463. CiteSeerX  10.1.1.142.5315. Дои:10.1145/78969.78972.
  14. ^ Clarke, E.M .; Уинг, Дж. М. (1996). «Формальные методы: современное состояние и направления на будущее». Опросы ACM Computing. 28 (4): 626. CiteSeerX  10.1.1.60.8874. Дои:10.1145/242223.242257.
  15. ^ "Жаннетт М. Винг". cs.cmu.edu.

внешняя ссылка