Робин Лутц
Робин Р. Лутц — американский ученый-компьютерщик, чьи исследования связаны с разработкой программного обеспечения , включая моделирование и проверку требований к программному обеспечению и безопасности программных систем . Она является профессором информатики в Университете штата Айова .
Образование и карьера
[ редактировать ]Лутц специализировался на английском языке в Канзасском университете , который окончил с отличием в 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]
Ссылки
[ редактировать ]- ^ Перейти обратно: а б «Робин Лутц» , Факультет по вопросам владения и пребывания в должности , факультет компьютерных наук Университета штата Айова , получено 13 апреля 2023 г.
- ^ Перейти обратно: а б с д Робин Р. Лутц – Short Vita (PDF) , получено 13 апреля 2023 г.
- ^ «Робин Лутц» , лауреаты премии , Ассоциация вычислительной техники , получено 13 апреля 2023 г.
- ^ Робин Лутц получает награду за пожизненное обслуживание на Международной конференции по разработке требований IEEE , факультет компьютерных наук Университета штата Айова, 23 сентября 2021 г. , получено 13 апреля 2023 г.
- ^ 2022 New Elevated Fellows (PDF) , IEEE, заархивировано из оригинала (PDF) 24 ноября 2021 г. , получено 13 апреля 2023 г.
- ^ Лутц, Джек Х. (1987), «Признание», Ресурсно-ограниченная категория и мера в классах экспоненциальной сложности (PDF) (докторская диссертация), Калифорнийский технологический институт, стр. iii–iv
- ^ Биографические данные Нила Лутца (PDF) , 2021 г. , получено 13 апреля 2023 г.
- ^ Лутц, Джек Х.; Лутц, Нил; Лутц, Робин Р.; Райли, Мэтью Р. (май 2019 г.), «Надежность и игры против природы в молекулярном программировании», 41-я Международная конференция IEEE/ACM по разработке программного обеспечения: новые идеи и новые результаты (ICSE-NIER) , 2019 г., IEEE, arXiv : 1902.06171 , doi : 10.1109/icse-nier.2019.00025
Внешние ссылки
[ редактировать ]- Домашняя страница
- Публикации Робин Лутц , проиндексированные Google Scholar
