| 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. Написала книгу о Майкле Джексоне.

Soccer Ball Drawing

Praying Hands With Rosary Drawing

Star Star

Peanut Butter And Jelly Sandwich Clipart

Confetti Pictures

Jesus Tomb Drawing

Banjo Cliparts

Panther Clipart

Camisa Cliparts

Chickens Clipart