Julie PARREAUX Assitant professor, University of Rennes

My CV

You can find here a pdf file of my cv.

On this web page, you will find additional some information about me.

My career

Professional experience

2024 - : Assistant professor

(University of Rennes)

in the DEVINE team

2023 - 2024: Post-doctoral researcher

(Warsaw University)

in the group Automata Theory in colaboration with Sławomir Lasota

2020 - 2023: PhD student

(Aix-Marseille université)

in the team Move in LIS with a training assignment

Summer 2022: Visite chez Christel Baier

(TU Dresden)

Visit of Christel Baier in Dresden during 3 week to work on the causality in games.

Summer 2020: Master's degree's research internship

(Aix-Marseille université)

Stochastic Strategies in Quantitative and Timed Games, under the supervision of Benjamin Monmege and Pierre-Alain Reynier.

Summer 2019: research intership

(Aix-Marseille université)

Stochastic Strategies in Quantitative Games, under the supervision of Benjamin Monmege and Pierre-Alain Reynier.

Summer 2018: introductory research internship

(Oxford University)

Efficient monitoring of stochastic systems, under the supervision of Stefan Kiefer

2017 - 2018: Master's research project in SUMO team

(INRIA Rennes)

Model checking train networks, supervised by Ocan Sankur, Loïc Hélouët and Nathalie Bertand

Summer 2017: Bachelor's degree introductory research internship in Convecs team

(INRIA Rhône-Alpes)

Panorama des modèles et outils de vérification pour les outils probabilistes, supervised by Hubert Garavel

Studies

2020-2023: PhD in computer science

(Aix Marseille Université)

Under the supervision of Benjamin Monmege and Pierre-Alain Reynier, Weighted Timed Games : Decidability, Randomisation and Robustness ,
defended on October 24, 2023 at Marseille, jury members:

• Reviewers: Orna Kupferman (Hebrew University - Israel), Didier Lime (École Centrale de Nantes - LS2N)
• Examiners: Patricia Bouyer-Decitre (CNRS - LMF), Hugo Gimbert (CNRS - LaBRI), Jeremy Sproston (Università degli di Torino - Italy)
• President: Eugène Asarin (Université Paris Cité - IRIF)
• Advisor: Pierre--Alain Reynier (AMU - LIS)
• Co-advisor: Benjamin Monmege (AMU - LIS)

2016-2020: École Normale supérieure de Rennes student

(ENS Rennes & Université de Rennes 1)

• Master degree in computer science
• Agrégation of mathematics and computer science
• Bachelor in computer science

2014-2016: nathematics student

(Université de Rennes 1)

• Two years of a bachelor in mathematics
• Scientific mediation training

Publications and reports

Publications in international conferences

• Synthesis of Robust Optimal Real-Time Systems, MFCS 2024, with B. Monmege and P-A. Reynier (pdf)
• Counterfactual Causality for Reachability and Safety based on Distance Functions, GandALF 2023, with J. Piribauer and C. Baier (pdf)
• Decidability of One-Clock Weighted Timed Games with Arbitrary Weights, CONCUR22, with B. Monmege and P-A. Reynier (pdf)
  Invited for a publication in a LMCS special issue
• Playing Stochastically in Weighted Timed Games to Emulate Memory, ICALP21, with B. Monmege and P-A. Reynier (pdf)
• Reaching Your Goal Optimally by Playing at Random, CONCUR20, with B. Monmege and P-A. Reynier (pdf)
• Performance Evaluation of Metro Regulations Using Probabilistic Model-checking, RSSRAIL'19, with N. Bertrand, B. Bordais, L. Hélouët, T. Mari and O. Sankur (pdf)
  

Recent talks

• Synthesis of Robust Optimal Real-Time Systems (slides)
• Counterfactual Causality for Reachability and Safety based on Distance Functions (slides)
• Weighted Timed Games: Decidability, Randomisation and Robustness (slides)
• Decidability of One-Clock Weighted Timed Games with Arbitrary Weights (slides)
• Playing stochastically in Weighted Timed Games to Emulate Memory (slides)
• Reaching your goal optimally by playing at random (slides)

Attending events

Student supervision

• Jaladhi Joshi (IIT Bombay), internship of second year student (summer 2024) with Piotr Hofman Fast termination in timed workflow nets
• Antonio Mattar and Tamazouzt Ait Eldjoudi, intership of first year students (summer 2022) with Benjamin Monmege: Pyhton prototype for unplugged activity on alligators

Administrative activities and collective tasks

Enseignements