Американский учёный-компьютерщик
Сьюзен Оуики — специалист по информатике , член Ассоциации вычислительной техники (ACM) и одна из основательниц списка рассылки Systers для женщин в сфере вычислительной техники. [1] В начале 2000-х она сменила сферу деятельности и стала лицензированным семейным терапевтом .
Академическая жизнь
Овицки получила докторскую степень в области компьютерных наук в Корнеллском университете в 1975 году. Ее научным руководителем был Дэвид Грайс . В своей диссертации [2] она изобрела метод интерференционной свободы , метод доказательства корректности параллельных программ, который является основой для большей части последующей работы по разработке параллельных программ с общими переменными и доказательству их корректности. Две статьи стали прямым результатом ее диссертации: [3] [4]
Она была преподавателем Стэнфордского университета на кафедрах электротехники и компьютерных наук в течение 10 лет. Ее исследовательские интересы включают распределенные системы, анализ производительности и надежные системы для электронной коммерции, и она опубликовала множество статей и патентов по своим исследованиям. [5]
В 1994 году Овицки была признана членом ACM за диссертационную работу «Метод аксиоматического доказательства для параллельных программ I» . [6]
Карьера в отрасли
После Стэнфорда Сьюзен Оуики устроилась на работу в Digital Equipment Corporation (DEC).
Позже она работала в Лаборатории стратегических технологий и архитектурных исследований (STAR lab), где занимала должность заместителя директора. STAR lab была первой лабораторией, посвященной исследованиям в области управления цифровыми правами и связанных с ними технологий электронной коммерции. [5]
В течение четырех лет она работала независимым консультантом в сфере интерактивного телевидения и доставки потокового видео.
Личная жизнь
Оуики замужем за Джеком Оуики и имеет двоих детей. [5]
Публикации
Публикации Овицкого включают в себя
- Сьюзен Оуики; Дэвид Грайс (1976). "Метод аксиоматического доказательства для параллельных программ I" [3] (победитель премии ACM Programming Systems and Languages Paper Award 1977 года. [7] )
- Форест Баскетт; Джеймс Х. Кларк ; Джон Л. Хеннесси ; Сьюзан Оуики; Брайан Рид . «Исследования в области проектирования и архитектуры систем СБИС». Стэнфордский университет. 1981.
- Сьюзан С. Оуики; Лесли Лэмпорт . «Доказательство свойств жизнеспособности параллельных программ». ACM TOPLAS . (4:3): 455-495.
- Эми Л. Лански и Сьюзен С. Овицки, «GEM: инструмент для спецификации и проверки параллелизма», в трудах Второго ежегодного симпозиума ACM по принципам распределенных вычислений , ACM, Монреаль, Квебек, Канада, 1983.
- Томас Э. Андерсон; Сьюзен С. Овицки; Джеймс Б. Сакс ; Чарльз П. Такер (1993). «Планирование высокоскоростных коммутаций для локальных сетей». ACM TOCS. (11:4): 319-352.
Более полный список публикаций доступен в Интернете. [8]
Патенты
Патенты Овицкого включают в себя
- Патент США 5,446,901 - Отказоустойчивая распределенная система сбора мусора и метод сбора сетевых объектов
- Патент США 7,770,016 - Системы и методы для создания водяных знаков на программном обеспечении и других носителях
Семейный терапевт
Овицки также является лицензированным семейным терапевтом. [9] Она ведет частную практику и является сотрудником центра помощи преподавателям и сотрудникам Стэнфордского университета . [10]
Ссылки
- ^ "Основатели Sisters » Институт Аниты Борг для женщин и технологий". Anitaborg.org . Получено 24.10.2012 .
- ^ Овицки, Сьюзен С. (август 1975 г.). Методы аксиоматического доказательства для параллельных программ (диссертация на степень доктора философии). Корнелльский университет. hdl :1813/6393 . Получено 01.07.2022 .
- ^ ab Owicki, Susan; Gries, David (25 июня 1976 г.). "Метод аксиоматического доказательства для параллельных программ I". Acta Informatica . 6 (4). Берлин: Springer (Германия): 319–340. doi :10.1007/BF00268134. S2CID 206773583.
- ^ Оуки, Сьюзен (май 1976). «Проверка свойств параллельных программ: аксиоматический подход». Сообщения ACM . 19 (5): 279–285. doi : 10.1145/360051.360224 . S2CID 9099351.
- ^ abc "CRA-W". Cra.org. Архивировано из оригинала 21 сентября 2013 года.
- ^ "ACM: Fellows Award / Susan S Owicki". Fellows.acm.org . Получено 24.10.2012 .
- ^ "ACM Programming Systems and Languages Paper Award". ACM: Ассоциация вычислительной техники. 1977. Получено 2022-07-07 .
- ^ "DBLP: Susan S. Owicki". Informatik.uni-trier.de . Получено 24.10.2012 .
- ^ Г-жа Сьюзан Оуики, семейный терапевт, MA. "Сьюзан Оуики, семейный терапевт, Пало-Альто, Калифорния 94306 | Справочник терапии Psychology Today". Пало-Альто, Калифорния 94306: Therapists.psychologytoday.com . Получено 24.10.2012 .
{{cite web}}: CS1 maint: location (link) - ^ "Стэнфордский университет - Центр помощи преподавателям и сотрудникам - Рекомендуемые книги". Helpcenter.stanford.edu. Архивировано из оригинала 2012-10-23 . Получено 2012-10-24 .
Внешние ссылки
- Полная библиография публикаций.
- OwickiMFT.com, консультации с Сьюзан Овицки, MFT
