| ClipArtMag Science Blog |

Free Cliparts

Важные женщины в CS, кто не Грейс Хоппер

Перевод статьи - Important women in CS who aren't Grace Hopper

Автор - Hillel Wayne

Источник оригинальной статьи:

https://www.hillelwayne.com/post/important-women-in-cs/

Я устал слышать о Грейс Хоппер, Маргарет Гамильтон и Ада Лавлейс. Разве мы не можем думать о ком-то другом? Я пошел вперед и составил кучу действительно важных женщин в соответствии с некоторыми довольно произвольными правилами

Я сделал исключение, когда я чувствовал, что это потому, что я могу. Основные предостережения: 1) многие из этих людей внесли свой вклад вне моих специальностей, поэтому я, вероятно, совершил кучу ошибок, и 2) я оставил много квалифицированных людей, потому что было много людей, и я ленился. Подумайте об этом, а не об исчерпывающем списке.

Фрэнсис Э Аллен
      Пионер в оптимизации компилятора и параллельном программировании. Придумала график потока управления.

Дана Англуин
      Пионер в теории вычислительного обучения. Использование «положительных результатов» в ML. Установила изучение запросов на членство.

Ружена Баици
      Пионер в робототехнике. Придумала датчики «Active Perception».

Линн Конвей
      Изобретала многопроектную чип-фабрику. Изобретала структурированный дизайн микрочипа. Стартовала революция VLSI.

Радхиа Кусо
      Пионер в статическом анализе. Она изобрела абстрактную интерпретацию.

Жан Саммет
      Часть сообщества COBOL. Она разработала FORMAC, первый символический язык вычислений.

Шафи Голдвассер
      Она изобрела криптографические доказательства нулевого знания. Разработала надежные криптосистемы BG и GM.

Бетти Холбертон
      Программист ENIAC. Придумала контрольные точки.

Кэтрин Джонсон
      Раньше она работала над автоматизированными системами управления. Спасла Аполлона 13.

Карен Спэрк Джонс
      Пионер в поиске информации. Придумала статистику обратного документа.

Нэнси Левесон
      Пионер в области исследований безопасности программного обеспечения. Главный следователь по делу Therac-25. Она сломала N-версию программирования.

Барбара Лисков
      Она придумала Принцип замены Лискова. Cоздала язык программирования CLU, который существенно повлиял на современные языки ООП и мультипарадигмы. Изобрела абстрактные типы данных.

Нэнси Линч
      Пионер в распределенных системах. Она доказала невозможность FLP. Написала «Распределенные алгоритмы».

Эви Немет
      «Мать системного администрирования». Она написала все основные книги по Unys sysadmin.

Радиа Перлман
      Придумала протокол Spanning-Tree.

Патрисия Селинджер
      Основополагающие работы по оптимизации запросов. Она разработала System R, первую базу данных SQL.

Латаня Свиней
      Пионер в дифференциальной конфиденциальности. Она изобрела k-анонимность.

Софи Уилсон
      Она разработала набор инструкций ARM.

Жаннет Винг
      Она продемонстрировала практическое применение формальной ступенчатой доработки в крупномасштабных приложениях. Она сочинила LSP с Лисковым.

Ван Сяоюнь
      Она сломала MD5. Сломала SHA-0. Сломала SHA-1.

Памела Зейв
      Существенное расширение требований техники. Она разработала формальные методы моделирования взаимодействия функций. Она сломала протокол Chord. Зафиксировала протокол Chord. Написала книгу о Майкле Джексоне.