Julie PARREAUX Assitant professor, University of Rennes

Welcome on my web page

Since September 2024, I am assistant professor (Maîtresse de Conférences) in computer science at University of Rennes (ISTIC) working in DEVINE team.

Before that, I was a postdoctoral researcher in the Automata theory group of the Faculty of  Mathematics, Informatics and Mecanics at the University of Warsaw in collaboration with Sławomir Lasota. We study the deterministic separability problem in timed automaton, and more precisely its link with the synthesis of Church for timed languages.

I received a PhD in computer science in October 2023 at Aix-Marseille Université supervised by Pierre-Alain Reynier and Benjamin Monmege from Laboratoire d'Informatique et Système (LIS) in Marseille on the team Modélisation et Vérification (MoVe). My PhD is focused on the study of the weighted timed games and the strategies used by the two players to play optimally (the thesis and the defense slides). More precisely, the main contribution of my PhD is the introduction of probabilities into strategies to replace the memory used by classic strategies.

Key words about my research: formal verification, synthesis, timed systems, games, quantitative models, probabilistic models

Recent works

• [MFCS 2024] Synthesis of Robust Optimal Real-Time Systems, with B. Monmege and P-A. Reynier
• [PhD defence] Weighted Timed Games: Decidability, Randomisation and Robustness in Marseille
• [GandALF 2023] Counterfactual Causality for Reachability and Safety based on Distance Functions, with J. Piribauer and C. Baier

Contact

• Address: IRISA - Équipe DEVINE
  Campus Universitaire de Beaulieu
  35 042 Rennes Cedex
• Office: IRISA - C214 (Orange)
• E-mail: julie.parreaux at irisa.fr