معرفی
Julie is an Assistant Professor at the University of Rennes since 2024, part of the DEVINE team. She holds a PhD from Aix-Marseille University (2023) and a Master's degree from École Normale Supérieure de Rennes. Her research focuses on formal verification, synthesis, timed systems, and probabilistic models, with applications in real-time systems and game theory. She has a strong academic background, including postdoctoral work at Warsaw University (2023–2024) and extensive teaching experience in computer science at Aix-Marseille University, covering topics like operating systems, finite automata, and software engineering.
Her research interests revolve around formal methods, particularly in weighted timed games, stochastic strategies, and counterfactual causality. She has contributed to decidability results in timed systems and developed tools for robust strategy synthesis. Julie has supervised multiple student internships, including projects on timed workflow nets and alligator-based lambda calculus prototypes. She actively participates in academic events, such as MFCS 2024 and GandALF 2023, and contributes to administrative roles like the DII department council at AMU.
Her educational background includes a PhD thesis titled 'Weighted Timed Games: Decidability, Randomisation and Robustness' and postdoctoral collaborations with experts like Christel Baier and Sławomir Lasota. She has a proven track record in both theoretical and applied research, bridging formal methods with practical computational tools.
