Patricia Bouyer-Decitre

Patricia Bouyer-Decitre (publicerad som Patricia Bouyer, född 1976) är en fransk teoretisk datavetare känd för sin forskning om tidsstyrda automater , modellkontroll och tidslogik . Hon är seniorforskare för det franska nationella centret för vetenskaplig forskning (CNRS), och chef för Laboratoire Méthodes Formelles (Formal Methods Lab) vid CNRS och École normale supérieure Paris-Saclay .

Utbildning och karriär

Patricia Bouyer föddes 1976. Hon blev student vid ENS Paris-Saclay (känd vid den tiden som ENS Cachan) 1996, och tog en maîtrise (magisterexamen) i matematik 1997, en andra maîtrise och diplôme d'études approfondies i datavetenskap 1998 och klarade agregationen i matematik 1999.

Hon avslutade sin Ph.D. 2002 vid Laboratoire Spécification et Vérification av CNRS och ENS Cachan; hennes avhandling, Modèles et Algorithmes pour la Vérification des Systèmes Temporisés ( modeller och algoritmer för verifiering av tidsstyrda system ), övervakades av Antoine Petit . Hon avslutade en habilitering vid Paris Diderot University 2009, med habiliteringsuppsatsen From Qualitative to Quantitative Analysis of Timed Systems .

Hon var postdoktor vid Aalborg Universitet 2002 och blev även 2002 juniorforskare för CNRS. Hon befordrades till seniorforskare 2010.

Bidrag

Bouyer är känd för flera betydande resultat på tidsstyrda automater . I ett arbete som började 1997, och som kulminerade i en publikation 2003 med Luca Aceto, Augusto Burgueno och Kim Larsen, karakteriserade Bouyer de egenskaper som kan beskrivas i termer av nåbarhet i tidsstyrda automater. Med Petit och Denis Thérien hittade hon analoger till Kleenes teorem för tidsstyrda automater, som visar deras likvärdighet med vissa klasser av formella språk . Tillsammans med Catherine Dufourd, Emmanuel Fleury och Antoine Petit introducerade hon uppdateringsbara tidsstyrda automater, förlängningar av tidsstyrda automater med operationer som uppdaterar tidsvariablerna snarare än att bara nollställa dem, och fann flera viktiga underklasser av dessa automater för vilka tomhetsproblemet kan avgöras . .

Inom temporal logik arbetade Bouyer med Fabrice Chevalier och Nicolas Markey för att bevisa den större uttrycksfullheten hos en form av temporal logik, tidsinställd propositionell tidslogik , över en annan metrisk temporal logik . Andra ämnen i hennes forskning inkluderar tillämpningen av tidsstyrda automater för feldetektering , tillägg av kostnader och energibegränsningar till tidsstyrda automater och förekomsten av Nash-jämvikter i tidsinställda versioner av spelteorin .

Erkännande

Bouyer-Decitre vann CNRS bronsmedalj 2007. Hon vann 2011 Presburger Award från European Association for Theoretical Computer Science .

Utvalda publikationer

A.

  Aceto, Luca; Bouyer, Patricia; Burgueño, Augusto; Larsen, Kim G. (2003), "The power of reachability testing for timed automata", Theoretical Computer Science , 300 (1–3): 411–475, doi : 10.1016/S0304-3975(02)00334-1 , MR 1976188

B.

  Bouyer, Patricia; Petit, Antoine; Thérien, Denis (2003), "An algebraic approach to data languages ​​and timed languages", Information and Computation , 182 (2): 137–162, doi : 10.1016/S0890-5401(03)00038-5 , MR 1971488

C.

  Bouyer, Patricia; Dufourd, Catherine; Fleury, Emmanuel; Petit, Antoine (2004), "Updatable timed automata", Theoretical Computer Science , 321 (2–3): 291–345, doi : 10.1016/j.tcs.2004.04.003 , MR 2076150

D.

   Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G. (2004), "Optimal strategier in priced timed game automata", FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (PDF) , Lecture Notes in Computer Science, vol. 3328, Springer, s. 148–160, doi : 10.1007/978-3-540-30538-5_13 , MR 2140392 , S2CID 3252817

E.

  Bouyer, Patricia; Chevalier, Fabrice; D'Souza, Deepak (2005), "Feldiagnos med hjälp av tidsstyrda automater", Foundations of Software Science and Computation Structures , Lecture Notes in Computer Science, vol. 3441, Springer, s. 219–233, doi : 10.1007/978-3-540-31982-5_14 , MR 2179118

F.

  Bouyer, Patricia; Fahrenberg, Ulrich; Larsen, Kim Guldstrand; Markey, Nicolas; Srba, Jirí (2008), "Oändliga körningar i viktad tidsstyrd automat med energibegränsningar", i Cassez, Franck; Jard, Claude (red.), 6th Int. Konf. Formell modellering och analys av tidsstyrda system (FORMAT 2008), Lecture Notes in Computer Science, vol. 5215, Springer, s. 33–47, doi : 10.1007/978-3-540-85778-5_4 , S2CID 3064045

G.

  Bouyer, Patricia; Chevalier, Fabrice; Markey, Nicolas (2010), "On the expressiveness of TPTL and MTL", Information and Computation , 208 (2): 97–116, doi : 10.1016/j.ic.2009.10.004 , MR 2597448

H.

   Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael (2015), "Pure Nash equilibria in concurrent deterministic games", Logical Methods in Computer Science , 11 (2): 2:9, arXiv : 1503.06826 , doi : 10.2168/LMCS-11(2:9) 2015 MR 3368955 , S2CID 6948997

externa länkar

• Patricia Bouyer-Decitre -publikationer indexerade av Google Scholar