Julie PARREAUX Post-doctorante en informatique

Mon CV

Vous trouverez ici mon CV en format pdf.

Sur cette page, vous trouverez quelques informations complémentaires sur mon parcours.

Mon parcours

Expérience professionnelle

2023 - maintenant: Post-doctorante

(Université de Varsovie)

dans le groupe Automata Theory en colaboration avec Sławomir Lasota

2020 - 2023: Doctorante

(Aix-Marseille université)

dans l'équipe Move du LIS avec une charge de mission d'enseignement

Été 2022: Visite chez Christel Baier

(TU Dresden)

Visite à Dresde chez Christel Baier pendant 3 semaines pour travailler sur la causalité dans les jeux.

Été 2020: Stage de recherche de M2

(Aix-Marseille université)

Stratégies stochastiques dans les jeux à coûts et les jeux temporisés, sous la direction de Benjamin Monmege and Pierre-Alain Reynierr.

Été 2019: Stage de recherche facultatif de M1

(Aix-Marseille université)

Stratégies stochastiques dans les jeux à coûts, sous la direction de Benjamin Monmege et Pierre-Alain Reynier.

Été 2018: Stage d'initiation à la recherche dans le cadre du M1

(Université d'Oxford)

Efficient monitoring of stochastic systems, sous la direction de Stefan Kiefer

2017 - 2018: Projet de recherche en master dans l'équipe SUMO

(INRIA Rennes)

Model checking train networks, supervisé par Ocan Sankur, Loïc Hélouët et Nathalie Bertand

Été 2017: Stage d'initiation à la recherche dans le cadre de la L3 dans l'équipe Convecs

(INRIA Rhône-Alpes)

Panorama des modèles et outils de vérification pour les outils probabilistes, sous la direction d'Hubert Garavel

Hiver 2017: Visiter un chercheur

(INRIA Rennes)

Dans le cadre d'une UE XTRA, visite d'un chercheur Alan Schmitt de l'équipe Epicure

Études

2020-2023: Doctorat en Informatique

(Aix Marseille Université)

Sous la supervision de Benjamin Monmege et Pierre-Alain Reynier, Jeux temporisés à coûts : décidabilité, randomisation et robustesse,
soutenue le 24 octobre 2023 à Marseille devant le jury :

• Rapporteurs : Orna Kupferman (Hebrew University - Israël), Didier Lime (École Centrale de Nantes - LS2N)
• Examinateurs : Patricia Bouyer-Decitre (CNRS - LMF), Hugo Gimbert (CNRS - LaBRI), Jeremy Sproston (Università degli di Torino - Italie)
• Président du jury : Eugène Asarin (Université Paris Cité - IRIF)
• Directeur de thèse : Pierre--Alain Reynier (AMU - LIS)
• Codirecteur de thèse : Benjamin Monmege (AMU - LIS)

2016-2020: Étudiante de l'École Normale supérieure de Rennes

(ENS Rennes & Université de Rennes 1)

• Master 2 d'informatique parcours Science Informatique
• Préparation à l'agrégation de mathématiques option informatique
• Master 1 d'informætique parcours Science Informatique
• Licence 3 d'informatique, parcours R&I

2014-2016: Étudiante en mathématiques

(Université de Rennes 1)

• Licence 1 et 2 MIEE mention mathématique
• Formation à la médiation scientifique

Publications

Publications dans des conférence internationales

• Counterfactual Causality for Reachability and Safety based on Distance Functions, GandALF 2023, avec J. Piribauer et C. Baier (pdf)
• Decidability of One-Clock Weighted Timed Games with Arbitrary Weights, CONCUR22, avec B. Monmege et P-A. Reynier (pdf)
  Invité pour une publication dans une édition spéciale de LMCS
• Playing Stochastically in Weighted Timed Games to Emulate Memory, ICALP21, avec B. Monmege et P-A. Reynier (pdf)
• Reaching Your Goal Optimally by Playing at Random, CONCUR20, avec B. Monmège et P-A. Reynier (pdf)
• Performance Evaluation of Metro Regulations Using Probabilistic Model-checking, RSSRAIL'19, avec N. Bertrand, B. Bordais, L. Hélouët, T. Mari et O. Sankur (pdf)
  

Présentations récentes

• Counterfactual Causality for Reachability and Safety based on Distance Functions (slides)
• Weighted Timed Games: Decidability, Randomisation and Robustness (slides)
• Robustness in Weighted Timed Games (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)

Évènements auxquels j'ai participé

Encadrement

• Antonio Mattar et Tamazouzt Ait Eldjoudi, stagiaire de L1 (été 2022) avec Benjamin Monmege : Prototype Pyhton pour l'activité des alligators

Activités administrative et collectives

Enseignements