Принцип подстановки Лисков, разработанный совместно с Барбарой Лисков в 1993 году, остается фундаментальным вкладом в методологию разработки программного обеспечения. Жанетт Винг (Jeannette Wing), родившаяся в Ньюарке в 1956 году, посвятила десятилетия преодолению разрыва между теоретической информатикой и промышленным применением. Ее профессиональная траектория охватывает академические круги, государственную политику и корпоративные исследовательские лаборатории, сосредоточившись главным образом на языках программирования и формальных методах.
Академические основы и исследования
Винг завершила обучение на степень бакалавра и магистра в области электротехники и информатики в Массачусетском технологическом институте в июне 1979 года под руководством Рональда Ривеста и Джона Райзера. Она получила степень доктора философии по информатике в том же институте в 1983 году под научным руководством Джона Гуттага. Ее ранние преподавательские должности включали Университет Южной Калифорнии с 1982 по 1985 год, за которым последовала работа в Университете Карнеги — Меллон с 1985 по 2012 год. Во время работы в Карнеги — Меллон она возглавляла кафедру компьютерных наук в течение двух периодов: 2004–2007 и 2010–2012 годов.
Государственная политика и корпоративное лидерство
Помимо университетских исследований, Винг занимала влиятельные административные должности. С 2007 по 2010 год она работала помощником директора по вычислительным и информационным наукам и инженерии в Национальном научном фонде. В январе 2013 года она перешла в частный сектор на должность корпоративного вице-президента Microsoft Research, где руководила глобальными лабораториями и исследовательскими связями до 30 июня 2017 года. После этого она стала директором Института науки о данных Аванесянс в Колумбийском университете и 1 сентября 2021 года была назначена исполнительным вице-президентом по исследованиям университета.
Вклад в вычислительное мышление
Винг признана за пропаганду вычислительного мышления, которое включает применение методов алгоритмической абстракции, распространенных в информатике, к различным дисциплинам. Ее работа в области формальных методов, особенно в отношении Larch, внесла значительный вклад в методологию программирования. Она входит в состав многочисленных редакционных коллегий, включая Journal of the ACM и Formal Methods in System Design. Среди ее профессиональных наград — получение звания члена ACM в 1998 году, члена IEEE в 2003 году, а также избрание в Национальную инженерную академию в 2024 году за работы в области надежных вычислений и формальных методов.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Краткие факты
- Родилась: 1956, Ньюарк - Образование: Массачусетский технологический институт - Основные области: Информатика, искусственный интеллект, язык программирования - Основная роль: Исполнительный вице-президент по исследованиям, Колумбийский университет - Значимая разработка: Принцип подстановки Лисков (1993) - Член ACM: 1998 - Член IEEE: 2003 - Личный интерес: Черный пояс четвертой степени по Тангсудо
Вопросы, которые задают читатели
### Что такое принцип подстановки Лисков?
Разработанный в 1993 году совместно с Барбарой Лисков, это концепт в методологии программирования, касающийся того, как объекты суперкласса должны быть заменяемы объектами подклассов без нарушения корректности программы.
### Что Жанетт Винг понимает под вычислительным мышлением?
Это относится к процессу выражения методов решения проблем и алгоритмических абстракций, используемых компьютерными учеными, с тем чтобы их можно было применять к исследованиям и задачам в других академических и практических дисциплинах.
