Патрисия Буйе-Децитр
Патрисия Буйе-Децитр (известная как Патриция Буйе, 1976 г.р.) — французский учёный-теоретик в области информатики, известная своими исследованиями в области синхронизированных автоматов , проверки моделей и темпоральной логики . [1] Она является старшим научным сотрудником Национального центра научных исследований Франции (CNRS) и директором Laboratoire Méthodes Formelles (Лаборатории формальных методов) CNRS и Высшей нормальной школы Париж-Сакле . [2]
Образование и карьера
[ редактировать ]Патрисия Буйер родилась в 1976 году. [1] Она стала студенткой ENS Paris-Saclay (известной в то время как ENS Cachan) в 1996 году, получив степень магистра (степень магистра) по математике в 1997 году, вторую степень магистра и диплом по информатике в 1998 году, а также сдав агрегирование по математике в 1999 году. [3]
В 2002 году она защитила докторскую диссертацию в Лабораторной спецификации и проверке CNRS и ENS Cachan; ее диссертацию « и алгоритмы проверки временных систем курировал » Модели Антуан Пети . [1] [3] [4] В 2009 году она закончила абилитацию в Парижском университете Дидро , защитив докторскую диссертацию « От качественного к количественному анализу временных систем» . [1]
В 2002 году она работала научным сотрудником в Ольборгском университете , а в 2002 году стала младшим научным сотрудником CNRS. В 2010 году ей присвоено звание старшего научного сотрудника. [3]
Взносы
[ редактировать ]Бойер известен несколькими важными результатами по синхронизированным автоматам . В работе, начавшейся в 1997 году и завершившейся публикацией в 2003 году вместе с Лукой Ачето, Аугусто Бургено и Ким Ларсен, Буйер охарактеризовал свойства, которые можно описать с точки зрения достижимости в синхронизированных автоматах. [1] [А] Вместе с Пети и Дени Терьеном она нашла аналоги теоремы Клини для временных автоматов, показав их эквивалентность некоторым классам формальных языков . [1] [Б] Вместе с Катрин Дюфур, Эммануэлем Флери и Антуаном Пети она представила обновляемые временные автоматы, расширения временных автоматов с помощью операций, которые обновляют временные переменные, а не просто сбрасывают их в ноль, и нашла несколько важных подклассов этих автоматов, для которых проблема пустоты разрешима. . [1] [С]
В области темпоральной логики Буйе работал с Фабрисом Шевалье и Николя Марки, чтобы доказать большую выразительность одной формы темпоральной логики, временной пропозициональной темпоральной логики , по сравнению с другой, метрической темпоральной логикой . [1] [Г] Другие темы ее исследований включают применение синхронизированных автоматов для обнаружения неисправностей . [И] добавление затрат и энергетических ограничений к синхронизированным автоматам, [Д] [Ф] и существование равновесий Нэша во временных версиях теории игр . [ЧАС]
Признание
[ редактировать ]Буйе-Децитр выиграла бронзовую медаль CNRS в 2007 году. В 2011 году она стала лауреатом премии Пресбургера Европейской ассоциации теоретической информатики . [1]
Избранные публикации
[ редактировать ]А. | Ачето, Лука; Буйер, Патрисия; Бургеньо, Аугусто; Ларсен, Ким Г. (2003), «Сила тестирования достижимости для временных автоматов», Theoretical Computer Science , 300 (1–3): 411–475, doi : 10.1016/S0304-3975(02)00334-1 , MR 1976188 |
Б. | Буйер, Патрисия; Пети, Антуан; Териен, Дени (2003), «Алгебраический подход к языкам данных и синхронизированным языкам», Information and Computation , 182 (2): 137–162, doi : 10.1016/S0890-5401(03)00038-5 , MR 1971488 |
С. | Буйер, Патрисия; Дюфур, Кэтрин; Флери, Эммануэль; Пети, Антуан (2004), «Обновляемые временные автоматы», Theoretical Computer Science , 321 (2–3): 291–345, doi : 10.1016/j.tcs.2004.04.003 , MR 2076150 |
Д. | Буйер, Патрисия; Кассез, Франк; Флери, Эммануэль; Ларсен, Ким Г. (2004), «Оптимальные стратегии в игровых автоматах с фиксированной ценой», FSTTCS 2004: Основы программных технологий и теоретической информатики (PDF) , Конспекты лекций по информатике, том. 3328, Springer, стр. 148–160, номер документа : 10.1007/978-3-540-30538-5_13 , ISBN. 978-3-540-24058-7 , МР 2140392 , S2CID 3252817 |
И. | Буйер, Патрисия; Шевалье, Фабрис; Д'Суза, Дипак (2005), «Диагностика неисправностей с использованием временных автоматов», «Основы науки о программном обеспечении и вычислительных структур » , конспекты лекций по информатике, том. 3441, Springer, стр. 219–233, номер документа : 10.1007/978-3-540-31982-5_14 , ISBN. 978-3-540-25388-4 , МР 2179118 |
Ф. | Буйер, Патрисия; Фаренберг, Ульрих; Ларсен, Ким Гулдстранд; Марки, Николас; Срба, Ири (2008), «Бесконечные прогоны в автоматах с взвешенным таймером и энергетическими ограничениями», в Кассесе, Франке; Жард, Клод (ред.), Формальное моделирование и анализ временных систем , Конспект лекций по информатике, том. 5215, Springer, стр. 33–47, номер документа : 10.1007/978-3-540-85778-5_4 , ISBN. 978-3-540-85777-8 , S2CID 3064045 |
Г. | Буйер, Патрисия; Шевалье, Фабрис; Марки, Николас (2010), «О выраженности TPTL и MTL», Information and Computation , 208 (2): 97–116, doi : 10.1016/j.ic.2009.10.004 , MR 2597448 |
ЧАС. | Буйер, Патрисия; Бренгье, Ромен; Марки, Николас; Уммельс, Майкл (2015), «Чистые равновесия Нэша в параллельных детерминированных играх», Логические методы в информатике , 11 (2): 2:9, arXiv : 1503.06826 , doi : 10.2168/LMCS-11(2:9)2015 , МР 3368955 , S2CID 6948997 |
Ссылки
[ редактировать ]- ^ Jump up to: а б с д и ж г час я Премия Пресбургера 2011 г. , Европейская ассоциация теоретической информатики , получено 24 мая 2021 г.
- ^ «Патриция Буйе-Децитр» , Лаборатория спецификации и проверки , ENS Paris-Saclay , получено 24 мая 2021 г.
- ^ Jump up to: а б с Биографические данные (PDF) , получено 24 мая 2021 г.
- ^ Патрисия Буйе-Децитр в проекте «Математическая генеалогия»
Внешние ссылки
[ редактировать ]- Публикации Патрисии Буйе-Децитр, проиндексированные Google Scholar