Age, Biography and Wiki

Patricia Bouyer-Decitre was born on 1976, is a computer. Discover Patricia Bouyer-Decitre's Biography, Age, Height, Physical Stats, Dating/Affairs, Family and career updates. Learn How rich is She in this year and how She spends money? Also learn how She earned most of networth at the age of 47 years old?

Popular As N/A
Occupation N/A
Age 47 years old
Zodiac Sign
Born 1976, 1976
Birthday 1976
Birthplace N/A
Nationality

We recommend you to check the complete list of Famous People born on 1976. She is a member of famous computer with the age 47 years old group.

Patricia Bouyer-Decitre Height, Weight & Measurements

At 47 years old, Patricia Bouyer-Decitre height not available right now. We will update Patricia Bouyer-Decitre's Height, weight, Body Measurements, Eye Color, Hair Color, Shoe & Dress size soon as possible.

Physical Status
Height Not Available
Weight Not Available
Body Measurements Not Available
Eye Color Not Available
Hair Color Not Available

Dating & Relationship status

She is currently single. She is not dating anyone. We don't have much information about She's past relationship and any previous engaged. According to our Database, She has no children.

Family
Parents Not Available
Husband Not Available
Sibling Not Available
Children Not Available

Patricia Bouyer-Decitre Net Worth

Her net worth has been growing significantly in 2022-2023. So, how much is Patricia Bouyer-Decitre worth at the age of 47 years old? Patricia Bouyer-Decitre’s income source is mostly from being a successful computer. She is from . We have estimated Patricia Bouyer-Decitre's net worth , money, salary, income, and assets.

Net Worth in 2023 $1 Million - $5 Million
Salary in 2023 Under Review
Net Worth in 2022 Pending
Salary in 2022 Under Review
House Not Available
Cars Not Available
Source of Income computer

Patricia Bouyer-Decitre Social Network

Instagram
Linkedin
Twitter
Facebook
Wikipedia
Imdb

Timeline

2007

Bouyer-Decitre won the CNRS Bronze Medal in 2007. She was the 2011 winner of the Presburger Award of the European Association for Theoretical Computer Science.

2002

She completed her Ph.D. in 2002 at the Laboratoire Spécification et Vérification of CNRS and ENS Cachan; her dissertation, Modèles et Algorithmes pour la Vérification des Systèmes Temporisés (Models and Algorithms for the Verification of Timed Systems), was supervised by Antoine Petit [fr]. She completed a habilitation at Paris Diderot University in 2009, with the habilitation thesis From Qualitative to Quantitative Analysis of Timed Systems.

She was a postdoctoral researcher at Aalborg University in 2002, and also in 2002 became a junior researcher for CNRS. She was promoted to senior researcher in 2010.

1997

Bouyer is known for several significant results on timed automata. In work beginning in 1997, and culminating in a 2003 publication with Luca Aceto, Augusto Burgueno and Kim Larsen, Bouyer characterized the properties that can be described in terms of reachability in timed automata. With Petit and Denis Thérien, she found analogues of Kleene's theorem for timed automata, showing their equivalence with certain classes of formal languages. With Catherine Dufourd, Emmanuel Fleury and Antoine Petit, she introduced updatable timed automata, extensions of timed automata with operations that update the timing variables rather than merely resetting them to zero, and found several important subclasses of these automata for which the emptiness problem is decidable.

1976

Patricia Bouyer-Decitre (published as Patricia Bouyer, born 1976) is a French theoretical computer scientist known for her research on timed automata, model checking, and temporal logic. She is a senior researcher for the French National Centre for Scientific Research (CNRS), and director of the Laboratoire Méthodes Formelles (Formal Methods Lab) of CNRS and the École normale supérieure Paris-Saclay.

Patricia Bouyer was born in 1976. She became a student at ENS Paris-Saclay (known at that time as ENS Cachan) in 1996, earning a maîtrise (master's degree) in mathematics in 1997, a second maîtrise and diplôme d'études approfondies in computer science in 1998, and passing the agrégation in mathematics in 1999.