Кристин Ивонн Розье
Кристин Ивонн Розье — американский аэрокосмический инженер и ученый-компьютерщик , чьи исследования исследуют формальные методы, включая временную логику и проверку моделей , для формальной проверки систем , критически важных для безопасности , особенно тех, которые связаны с воздушным транспортом, беспилотными летательными аппаратами и управлением воздушным движением . Она является доцентом кафедры аэрокосмической техники, информатики, электротехники и вычислительной техники, а также математики компании Black & Veatch в Университете штата Айова , где возглавляет лабораторию временной логики. [1] [2]
Образование и карьера
[ редактировать ]Розье изучала информатику в Колледже Уильяма и Мэри , который окончила в 2000 году. Получив там степень магистра в 2001 году под руководством Пола К. Стокмейера, она поступила в Университет Райса для получения докторской степени в области компьютерных наук. [2] Она защитила докторскую диссертацию. в 2012 году с диссертацией « Явный или символический перевод линейной темпоральной логики в автоматы» . Ее научным руководителем был Моше Варди , а со-руководителем — Штокмейер. [2] [3]
Она присоединилась к Исследовательскому центру НАСА в Лэнгли в качестве научного сотрудника в 2003 году и перешла в Исследовательский центр Эймса в 2008 году. В 2015 году она стала доцентом кафедры аэрокосмической техники и инженерной механики в Университете Цинциннати , а в 2016 году перешла к ней. нынешняя должность в Университете штата Айова. В 2021 году ей было присвоено звание доцента, а также звание доцента Black & Veatch. [2]
Она также активно поддерживает женщин из недостаточно представленных групп в STEM через Jewels Academy, некоммерческую организацию, базирующуюся в Де-Мойне, штат Айова . [4]
Признание
[ редактировать ]В 2013 году Технический комитет интеллектуальных систем Американского института аэронавтики и астронавтики вручил Розье награду за выдающиеся заслуги. [5] В 2014 году Розье выиграла первую Премию женщин в аэрокосмической отрасли «Инициатива, вдохновение и влияние» «за образцовое достижение формальной спецификации, проверку и утверждение кандидата на систему управления воздушным движением NextGen, а также за преданность делу в качестве наставника и образца для подражания». [6]
В 2016 году она выиграла премию Национального научного фонда «КАРЬЕРА» и премию факультета ранней карьеры НАСА. [2]
Ссылки
[ редактировать ]- ^ Кристин Ивонн Розье , Инженерный колледж Университета штата Айова , получено 18 июля 2022 г.
- ^ Jump up to: а б с д и Биографические данные (PDF) , получено 18 июля 2022 г.
- ^ Кристин Ивонн Розье в проекте «Математическая генеалогия»
- ^ Мон, Джиллиан (27 июля 2021 г.), Вдохновляя женщин завтрашнего дня в STEM: Кристин Ивонн Розье , Инженерный колледж Университета штата Айова , получено 18 июля 2022 г.
- ^ «Розье получает выдающуюся награду AIAA» (PDF) , Astrogram , Исследовательский центр Эймса НАСА, стр. 11 сентября 2013 г. , получено 18 июля 2022 г.
- ^ «Кристин Ивонн Розье получает награду «Женщины в аэрокосмической отрасли»» (PDF) , Astrogram , Исследовательский центр Эймса НАСА, стр. 10 апреля 2014 г. , получено 18 июля 2022 г.
Внешние ссылки
[ редактировать ]- Лаборатория темпоральной логики
- Публикации Кристин Ивонн Розье, проиндексированные Google Scholar
- Живые люди
- Американские ученые-компьютерщики
- Американские женщины-компьютерщики
- Американские аэрокосмические инженеры
- Американские женщины-инженеры
- Выпускники Колледжа Уильяма и Мэри
- Выпускники Университета Райса
- Факультет Университета Цинциннати
- Преподаватели Университета штата Айова
- Женщины-аэрокосмические инженеры