Сьюзан Овики
 | В этой статье есть несколько проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти шаблонные сообщения )
|
Сьюзан Овики | |
|---|---|
| Национальность | Американский |
| Альма-матер | Корнелльский университет |
| Род занятий | Ученый-компьютерщик Брак и семейный терапевт |
| Известный | Член ACM |
| Супруг | Джек Овики |
| Дети | Два |
Сьюзан Овики — учёный-компьютерщик , член Ассоциации вычислительной техники (ACM) и одна из основательниц списка рассылки Systers для женщин, занимающихся информатикой. [1] В начале 2000-х она сменила карьеру и стала лицензированным терапевтом по вопросам брака и семьи .
Академическая жизнь
[ редактировать ]Овики получила степень доктора компьютерных наук в Корнелльском университете в 1975 году. Ее научным руководителем был Дэвид Грис . В своей диссертации [2] она изобрела свободу от помех , метод доказательства правильности параллельных программ, который является основой для большей части последующей работы по разработке параллельных программ с общими переменными и доказательству их корректности. Две статьи стали результатом ее диссертации: [3] [4]
В течение 10 лет она была преподавателем Стэнфордского университета кафедры электротехники и компьютерных наук . Ее исследовательские интересы включают распределенные системы, анализ производительности и надежные системы для электронной коммерции. О своих исследованиях она опубликовала множество статей и патентов. [5]
В 1994 году Овицкий была удостоена звания научного сотрудника ACM за свою диссертационную работу «Техника аксиоматического доказательства для параллельных программ I» . [6]
Промышленная карьера
[ редактировать ]После Стэнфорда Сьюзен Овики работала в Digital Equipment Corporation (DEC).
Позже она работала в Лаборатории стратегических технологий и архитектурных исследований (лаборатория STAR), где занимала должность заместителя директора. Лаборатория STAR была первой лабораторией, занимающейся исследованиями в области управления цифровыми правами и связанных с ними технологий электронной коммерции. [5]
Она провела четыре года в качестве независимого консультанта, занимаясь работой в сфере интерактивного телевидения и доставки потокового видео.
Личная жизнь
[ редактировать ]Овицкий женат на Джеке Овики, имеет двоих детей. [5]
Публикации
[ редактировать ]Публикации Овицкого включают
- Сьюзан Овики; Дэвид Грайс (1976). «Техника аксиоматического доказательства для параллельных программ I» [3] (лауреат премии ACM по системам программирования и языкам 1977 года. [7] )
- Лесная корзина; Джеймс Х. Кларк ; Джон Л. Хеннесси ; Сьюзан Овики; Брайан Рид . «Исследования в области проектирования и архитектуры систем СБИС». Стэнфордский университет. 1981.
- Сьюзан С. Овики; Лесли Лэмпорт . «Доказательство свойств жизнеспособности параллельных программ». АСМ ТОПЛАС . (4:3): 455–495.
- Эми Л. Лански и Сьюзен С. Овики, «GEM: инструмент для спецификации и проверки параллелизма» , в материалах второго ежегодного симпозиума ACM по принципам распределенных вычислений , ACM, Монреаль, Квебек, Канада, 1983.
- Томас Э. Андерсон; Сьюзан С. Овики; Джеймс Б. Сакс ; Чарльз П. Такер (1993). «Планирование высокоскоростного переключения для локальных сетей». АСМ ТОС. (11:4): 319–352.
Более полный список публикаций доступен в Интернете. [8]
Патенты
[ редактировать ]Патенты Овицкого включают
- Патент США 5 446 901 — Отказоустойчивая распределенная система сбора мусора и метод сбора сетевых объектов.
- Патент США 7 770 016 — Системы и методы нанесения водяных знаков на программное обеспечение и другие носители.
Брак и семейный терапевт
[ редактировать ]Овицкий также является лицензированным терапевтом по вопросам брака и семьи. [9] Она ведет частную практику и работает в Центре помощи преподавателям и сотрудникам Стэнфордского университета . [10]
Ссылки
[ редактировать ]- ^ «Сестры-основательницы Института женщин и технологий Аниты Борг» . Анитаборг.орг . Проверено 24 октября 2012 г.
- ^ Овиски, Сьюзен С. (август 1975 г.). Аксиоматические методы доказательства для параллельных программ (кандидатская диссертация). Корнелльский университет. hdl : 1813/6393 . Проверено 1 июля 2022 г.
- ^ Jump up to: а б Овиски, Сьюзен ; Грис, Дэвид (25 июня 1976 г.). «Техника аксиоматического доказательства для параллельных программ I» . Акта Информатика . 6 (4). Берлин: Шпрингер (Германия): 319–340. дои : 10.1007/BF00268134 . S2CID 206773583 .
- ^ Овицкий, Сьюзен (май 1976 г.). «Проверка свойств параллельных программ: аксиоматический подход» . Коммуникации АКМ . 19 (5): 279–285. дои : 10.1145/360051.360224 . S2CID 9099351 .
- ^ Jump up to: а б с «КРА-В» . Кра.орг. Архивировано из оригинала 21 сентября 2013 года.
- ^ «ACM: Премия Fellows / Сьюзан С. Овики» . Fellows.acm.org . Проверено 24 октября 2012 г.
- ^ «Награда за доклад по системам и языкам программирования ACM» . ACM: Ассоциация вычислительной техники. 1977 год . Проверено 7 июля 2022 г.
- ^ «DBLP: Сьюзен С. Овики» . Informatik.uni-trier.de . Проверено 24 октября 2012 г.
- ^ Г-жа Сьюзан Овики, терапевт по вопросам брака и семьи, Массачусетс. «Сьюзан Овики, терапевт по вопросам брака и семьи, Пало-Альто, Калифорния 94306 | Справочник современной терапии по психологии» . Пало-Альто, Калифорния 94306: Therapists.psychologytoday.com . Проверено 24 октября 2012 г.
{{cite web}}: CS1 maint: местоположение ( ссылка ) - ^ «Стэнфордский университет — Справочный центр преподавателей и сотрудников — Рекомендуемые книги» . Helpcenter.stanford.edu. Архивировано из оригинала 23 октября 2012 г. Проверено 24 октября 2012 г.
