Сегодня женщины с успехом ломают гендерные стереотипы и покоряют все новые вершины в различных отраслях, но их интересы были совершенно иными десятилетия, и тем более столетия назад. Хотя, первым в мире программистом стала именно женщина (Ада Лавлейс)!
Слабым полом было совершено множество невероятных открытий, и они сыграли весомую роль в развитии технологий.
Однако, по необъяснимым причинам женщины не так часто награждались в вышеуказанных областях. Особенно, если речь идет о премии Тьюринга, известной в народе под названием “Нобелевская премия компьютерных технологий”. И только 3 женщины заслужили это признание.
Еще более поразительным является тот факт, что первая победа к представительнице слабого пола пришла только через 40 лет после того, как премия была впервые учреждена в 1966 году.
Может создаться впечатление, что именно мужчинам принадлежат почти все достижения в области компьютеров. Но правда в том, что хоть женщины и недостаточно широко представлены в этом направлении, но они действительно внесли свой значительный вклад в сферу этой области.
Так что давайте познакомимся с лауреатами престижной премии Тьюринга и узнаем про достижения, которые принесли им эту награду.
Фрэнсис Аллен, 2006
На протяжении своей долгой и блестящей карьеры Фрэнсис Аллен внесла новаторский вклад в теорию и практику оптимизации методов компиляции, что, в свою очередь, заложило основу для современных оптимизирующих компиляторов.
Она создала себе имя, благодаря сосредоточению на эффективной работе программ и проведению сложного анализа и оптимизации кода, а также созданию серии рабочих систем, запускающих программы быстрее. Ведь на самом деле, компиляторы языка программирования все еще полагаются на методы, введенные Фрэнсис Аллен и по сей день.
Ее основательные знания в математике способствовали тому, что она на короткое время практиковалась преподавателем, а затем получила степень магистра в Мичиганском университете, где ее познакомили с курсами вычислительной техники. Это привело Фрэнсис Аллен к первым шагам в IBM, где она оставалась в течение следующих 45 лет.
Большую часть этого времени Фрэнсис Аллен посвятила разработке современных компиляторов языков программирования для IBM Research. Она была глубоко вовлечена в разработку одного из первых суперкомпьютеров Stretch. После этого Фрэнсис Аллен присоединилась к проекту Advanced Computing Systems project (ACS), который включал дальнейшие передовые достижения в области разработки компьютерных систем.
Ее последним крупным проектом для IBM, который она возглавила, был Parallel Translator (PTRAN), посвященный параллелизации вычислений. На протяжении этой работы Фрэнсис Аллен с командой занимались исследованием основ оптимизации, использующихся сегодня в большинстве компиляторов.
Названная почетным сотрудником IBM (IBM Fellow) в 1989 году и членом IEEE два года спустя, Аллен продолжает консультировать IBM по ряду проектов и активно содействует продвижению и поощрению женщин в областях, связанных с компьютерами.
В 2006 году ей, первой женщине в мире, была присуждена Премия Тьюринга “за новаторский вклад в теорию и практику оптимизации компьютерных программ, послуживший основой для современных оптимизирующих компиляторов и автоматического распараллеливания программ.”
Также, Фрэнсис является и первой женщиной с наградой IBM Fellow.
В 2007 году IBM в честь Фрэнсис Аллен даже организовала премию IBM Ph.D. Fellowship Award.
Барбара Лисков, 2008
После окончания математического факультета Калифорнийского университета в Беркли, Барбара устроилась на работу, где обнаружила способность хорошо разбираться в компьютерном программировании.
Длинный список достижений Барбары Лисков в сообществе Массачусетского технологического института за ее вклад в качестве ученого и наставника говорит сам за себя. Благодаря многолетнему опыту работы с языками программирования и проектированием систем, ее роль в создании практических и теоретических основ в этих областях действительно делает ее достойной этого признания, и даже больше.
Барбара стала первой женщиной в США, получившей степень доктора компьютерных наук, благодаря диссертации о программной реализации игры в шахматный эндшпиль (A program to play chess endgames).
С 1972 года она стала работать и преподавать в Массачусетском технологическом институте.
Барбара Лисков участвовала в разработке операционной системы Venus, а также она руководила разработкой и внедрением объектно-ориентированного языка CLU, способного задействовать в своей работе абстрактные типы данных, полиморфизм, что позволяет создавать основу объектно-ориентированного программирования, используемого в современных компьютерных языках. Барбара также участвовала в создании языка Argus, который оказал большое влияние на других разработчиков.
В 2008 году она была заслуженно награждена Премией Тьюринга за вклад в теорию абстракции данных, которая упрощает создание сложных программ.
Кстати, этот метод широко используется в основе многих современных языков программирования, например, в С++ и Java.
Переписываясь по электронной почте, осуществляя мониторинг банковского счета в интернете или запуская поиск Google - вы используете результаты трудов Барбары.
Шафи Голдвассер, 2012
Шафи Голдвассер известна, благодаря совместной работе с Сильвио Микали в области криптографии. А именно, за криптосистему Гольдвассер - Микали (GM) - криптографическую систему с открытым ключом.
Она представляет собой первую схему вероятностного шифрования с открытым ключом, доказуемо стойкой при стандартных криптографических предположениях. Для доказательства свойств стойкости криптосистемы Голдвассер и Микали ввели понятие семантической стойкости.
Окончив математический факультет Университета Карнеги-Меллона, она вскоре увлеклась программированием и информатикой в Калифорнийском университете в Беркли, где у нее развился интерес к теоретическим областям.После этого она совместно с исследовательской группой работала над рядом теорий.
Интерактивные доказательства сыграли значительную роль в ее исследованиях, большинство из которых стали важными в области криптографии. В последнее время Шафи принимала активное участие в работах, направленных на изучение статистики Covid-19.
Ее последнее исследование было посвящено тому, как технологии могут использовать данные, чтобы прийти к выводам, фактически не читая и не делясь информацией.
В 2012 году Шафи Голдвассер удостоилась Премии Тьюринга за проект по вероятностному шифрованию, о котором мы упоминали выше.