stringtranslate.com

Робин Лутц

Робин Р. Лутц — американский ученый-компьютерщик, чьи исследования охватывают программную инженерию , включая моделирование и проверку требований к программному обеспечению и безопасность программных систем . Она является профессором компьютерных наук в Университете штата Айова .

Образование и карьера

Лутц специализировалась на английском языке в Университете Канзаса , который окончила с отличием в 1974 году, получила степень магистра по испанскому языку там же в 1976 году и защитила докторскую диссертацию по испанскому языку в 1980 году под руководством Рэймонда Соузы. [1] [2] Несмотря на это нетехническое образование, в 1983 году она стала членом технического персонала Лаборатории реактивного движения , связанной с Калифорнийским технологическим институтом , и продолжала работать там до 2012 года. [2]

Вернувшись в аспирантуру, она получила степень магистра компьютерных наук в 1990 году в Университете штата Айова. [1] [2] Она занимала там должность доцента с 1994 по 2000 год. В 2000 году она стала доцентом постоянного ранга, а в 2005 году была повышена до должности полного профессора. [2]

Признание

В 2014 году Ассоциация вычислительной техники присвоила Лутц звание выдающегося ученого. [3] В 2021 году она получила награду за пожизненную службу от Международной конференции по инженерным требованиям IEEE. [4] В 2022 году она была избрана членом IEEE «за вклад в разработку требований к программному обеспечению для систем, критически важных для безопасности». [5]

Личная жизнь

Лутц замужем за Джеком Лутцем , профессором математики и компьютерных наук в Университете штата Айова; их сын Нил Лутц [6] также является ученым-компьютерщиком и приглашенным доцентом компьютерных наук в колледже Суортмор . [7] Они опубликовали совместные работы по теории алгоритмических игр в ДНК-вычислениях . [8]

Ссылки

  1. ^ ab "Robyn Lutz", Tenure/Tenure Track Faculty , Iowa State University Department of Computer Science , получено 2023-04-13
  2. ^ abcd Робин Р. Лутц – Краткая биография (PDF) , получено 13 апреля 2023 г.
  3. ^ "Robyn Lutz", лауреаты премии , Ассоциация вычислительной техники , получено 13 апреля 2023 г.
  4. Робин Лутц получила премию за пожизненную службу на Международной конференции IEEE по инжинирингу требований, кафедра компьютерных наук Университета штата Айова, 23 сентября 2021 г. , дата обращения 13 апреля 2023 г.
  5. ^ 2022 Newly Elevated Fellows (PDF) , IEEE, архивировано из оригинала (PDF) 2021-11-24 , извлечено 2023-04-13
  6. ^ Лутц, Джек Х. (1987), «Подтверждение», Категория и мера с ограниченными ресурсами в классах экспоненциальной сложности (PDF) (докторская диссертация), Калифорнийский технологический институт, стр. iii–iv
  7. ^ Резюме Нила Лутца (PDF) , 2021 , получено 13 апреля 2023 г.
  8. ^ Лутц, Джек Х.; Лутц, Нил; Лутц, Робин Р.; Райли, Мэтью Р. (май 2019 г.), «Надежность и игры против природы в молекулярном программировании», 41-я международная конференция IEEE/ACM по программной инженерии: новые идеи и появляющиеся результаты (ICSE-NIER) 2019 г. , IEEE, arXiv : 1902.06171 , doi : 10.1109/icse-nier.2019.00025

Внешние ссылки