Жаннетт Уинг
Жаннетт Уинг | |
|---|---|
 | |
| Рожденный | Жаннетт Мари Винг 4 декабря 1956 г. |
| Национальность | Американский |
| Альма-матер | Массачусетский технологический институт ( бакалавр , магистр , доктор философии ) |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Колумбийский университет , Университет Карнеги Меллон , Университет Южной Калифорнии |
| Тезис | Двухуровневый подход к определению программ (1983) |
| Докторантура | Джон Гуттаг [1] |
| Докторанты | Грег Моррисетт [1] |
| Веб-сайт | CS |
Жанетт Мари Винг — аванессианский директор Института науки о данных Колумбийского университета , где она также является профессором компьютерных наук . [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]
Предыстория [ править ]
Винг получила степени SB и SM по электротехнике и информатике в Массачусетском технологическом институте в июне 1979 года. Ее консультантами были Рональд Ривест и Джон Райзер. В 1983 году она получила степень доктора философии. в области компьютерных наук в Массачусетском технологическом институте под руководством Джона Гуттага . [1] Она имеет черный пояс четвертой степени по Тан Су До . [16]
и исследования Карьера
Винг работала на факультете Университета Южной Калифорнии с 1982 по 1985 год, а затем на факультете Карнеги-Меллона с 1985 по 2012 год. Она возглавляла факультет компьютерных наук с 2004 по 2007 год и с 2010 по 2012 год. В январе 2013 года , она взяла отпуск из Карнеги-Меллон, чтобы работать в Microsoft Research.
Винг был ведущим членом сообщества формальных методов , особенно в области Larch . Она руководила многими исследовательскими проектами и опубликовала множество публикаций. [17]
Вместе с Барбарой Лисковой она разработала принцип замещения Лискова , опубликованный в 1993 году.
Она также активно пропагандировала вычислительное мышление , рассказывая об алгоритмических методах решения проблем и абстракции, используемых учеными-компьютерщиками, а также о том, как они могут применяться в других дисциплинах. [5]
Является членом редколлегии следующих журналов:
- Основы и тенденции в области конфиденциальности и безопасности (главный соредактор)
- Журнал ACM
- Формальные аспекты вычислений (редактор для Северной Америки)
- Формальные методы проектирования систем
- Международный журнал программного обеспечения и информатики
- Журнал информатики и инженерии
- Программные инструменты для трансфера технологий
Признание [ править ]
Винг был назван членом IEEE в 2003 году «за вклад в методы разработки программных систем». [18]
Ссылки [ править ]
- ^ Перейти обратно: а б с Жаннетт Винг в проекте «Математическая генеалогия»
- ^ «Президент Боллинджер назначает главу исследований Microsoft Жаннетт Винг руководителем Колумбийского института науки о данных» . Проверено 1 мая 2017 г.
- ^ «Крыло Жаннетт» . Проверено 6 июля 2014 г.
- ^ Клейтон, Стив (20 ноября 2012 г.). «Доктор Жаннетт Винг: новый вице-президент, глава Microsoft Research International» . blogs.microsoft.com .
- ^ Перейти обратно: а б Винг, Жанетт М. (2006). «Вычислительное мышление» (PDF) . Коммуникации АКМ . 49 (3): 33–35. дои : 10.1145/1118178.1118215 . hdl : 10818/29866 . S2CID 1693513 .
- ^ Винг, Жаннетт М ; Вудкок, Джим ; Дэвис, Джим, ред. (1999). FM'99 – Формальные методы: Всемирный конгресс по формальным методам разработки вычислительных систем. Тулуза, Франция, 20–24 сентября 1999 г., материалы, том I. ЛНКС . Том. 1708. Шпрингер-Верлаг . дои : 10.1007/3-540-48119-2 . ISBN 978-3-540-66587-8 . S2CID 36821080 .
- ^ Винг, Жаннетт М ; Вудкок, Джим ; Дэвис, Джим, ред. (1999). FM'99 – Формальные методы: Всемирный конгресс по формальным методам разработки вычислительных систем. Тулуза, Франция, 20–24 сентября 1999 г., материалы, том II . ЛНКС . Том. 1709. Шпрингер-Верлаг . дои : 10.1007/3-540-48118-4 . ISBN 978-3-540-66588-5 . S2CID 2986421 .
- ^ Мартин, Ю. ; Винг, Дж. М. , ред. (1993). Материалы Первого международного семинара по лиственнице . Семинары по информатике. Спрингер-Верлаг . ISBN 978-3-540-19804-8 .
- ^ Гарланд, С.Дж.; Джонс, К.Д.; Модет, А.; Винг, Дж. М. (1993). Гуттаг, СП ; Хорнинг, Джей-Джей (ред.). Лиственница: языки и инструменты для формальной спецификации . Спрингер-Верлаг . CiteSeerX 10.1.1.137.5123 . дои : 10.1007/978-1-4612-2704-5 . ISBN 978-1-4612-7636-4 . S2CID 13066418 .
- ^ Жаннетт М. Винг на DBLP библиографическом сервере
- ^ Публикации Жаннетт Винг, индексируемые библиографической базой данных Scopus . (требуется подписка)
- ^ Жаннетт Винг Страница профиля автора ACM. в цифровой библиотеке
- ^ Херлихи, член парламента; Винг, Дж. М. (1990). «Линеаризуемость: условие корректности параллельных объектов». Транзакции ACM в языках и системах программирования . 12 (3): 463. CiteSeerX 10.1.1.142.5315 . дои : 10.1145/78969.78972 . S2CID 228785 .
- ^ Кларк, EM; Винг, Дж. М. (1996). «Формальные методы: современное состояние и будущие направления». Обзоры вычислительной техники ACM . 28 (4): 626. CiteSeerX 10.1.1.60.8874 . дои : 10.1145/242223.242257 . S2CID 5534240 .
- ^ «Жаннат Винг назначена исполнительным вице-президентом по исследованиям Columbia Spectator» . Колумбийский ежедневный зритель . Проверено 18 августа 2021 г.
- ^ Маклафлин, Кевин. «14 технических руководителей, которые, вероятно, могли бы надрать вам задницу в драке» . Бизнес-инсайдер . Проверено 9 апреля 2021 г.
- ^ «Жаннат М. Винг» . cs.cmu.edu .
- ^ «Каталог участников IEEE» . ИИЭЭ . Проверено 24 июля 2021 г.
Внешние ссылки [ править ]
- Ааронсон, Лорен, вопросы и ответы с: Жаннетт Винг
- Интервью Джона Уделла с новаторами - доктор Жаннетт Винг
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
  | Эта статья об американском ученом в академических кругах незавершена . Вы можете помочь Википедии, расширив ее . |
- Американские ученые-компьютерщики
- Формальные методы люди
- Живые люди
- Американские женщины-компьютерщики
- Редакторы американских академических журналов
- Преподаватели Университета Карнеги-Меллон
- факультет Колумбийского университета
- Сотрудники Microsoft
- Выпускники инженерной школы Массачусетского технологического института
- Американские инженеры 20-го века
- Американские инженеры XXI века
- Американские учёные XX века
- Американские учёные XXI века
- Американские женщины-учёные XX века
- Американские женщины-учёные XXI века
- Члены IEEE
- Американские ученые китайского происхождения
- 1956 рождений
- Незавершённые записи американского академического учёного