Эта биография живого человека слишком сильно опирается на ссылки на первичные источники . ( октябрь 2012 г. ) |
Сьюзен Герхарт | |
---|---|
Альма-матер | Университет Огайо Уэслиан , Университет Мичигана , Университет Карнеги-Меллона |
Научная карьера | |
Поля | Информатика |
Учреждения | Университет Дьюка , Институт аспирантуры Вана и Университет аэронавтики Эмбри-Риддла |
Тезис | Проверка программ APL (1972) |
научный руководитель | Дональд У. Лавленд |
Сьюзен Герхарт — полуотставной специалист по информатике . [1]
Сьюзен Герхарт получила степень бакалавра по математике в Университете Уэслиана в Огайо , степень магистра по коммуникационным наукам в Мичиганском университете и степень доктора философии по компьютерным наукам в Университете Карнеги-Меллона . [2] Она завершила свою диссертацию «Верификация программ APL» в 1972 году под руководством научного руководителя Дональда У. Лавленда . [3] [4] Она считала , что «Спутник» вдохновил ее на изучение науки. [5]
Она преподавала программную инженерию и информатику в Торонто, Университете Дьюка , Институте последипломного образования имени Вана и Университете аэронавтики Эмбри-Риддла . [1]
Она создала проект по разработке учебных программ для повышения безопасности в области компьютерного образования, ориентированного на авиацию. [6] [7] В рамках этого проекта было подготовлено несколько статей и модулей, в том числе один по уязвимостям переполнения буфера .
Среди других ее публикаций: «К теории отбора тестовых данных», [8] «Международный обзор промышленного применения формальных методов. Том 2. Практические примеры», [9] и «Подавляют ли поисковые системы веб-разногласия?». [10]
В 1987 году Герхарт был одним из основателей Systers , старейшего и крупнейшего списка рассылки для женщин в сфере вычислительной техники. [11] [12]
Будучи лично затронутой дегенерацией желтого пятна , [13] она ведет блог "As Your World Changes" об использовании технологий, включая подкасты, для преодоления потери зрения. В 2009 году она выступила на конференции IEEE по тестированию, верификации и валидации программного обеспечения с докладом "Проблема инвалидности/мобильности: формулирование критериев для тестирования доступности и удобства использования". [14]
{{cite web}}
: CS1 maint: бот: исходный статус URL неизвестен ( ссылка ){{cite web}}
: CS1 maint: числовые имена: список авторов ( ссылка )