معرفی
Julie Parreaux is an Assistant Professor in Computer Science at the University of Rennes, working in the DEVINE Team at IRISA. She holds a PhD from Aix-Marseille Université (2023), supervised by Pierre-Alain Reynier and Benjamin Monmege, focusing on weighted timed games, probabilistic strategies, and formal verification. Prior to her current role, she was a postdoctoral researcher at the University of Warsaw (2023–2024), where she studied deterministic separability in timed automata.
Her research interests include formal verification, synthesis, timed systems, and probabilistic models. She has supervised multiple student internships, including work on timed workflow nets and Python prototypes for educational activities. Julie has contributed to numerous conferences such as MFCS, GandALF, and CONCUR, and has held administrative roles like membership in the DII department council at AMU. Her teaching includes courses on computer architecture, operating systems, and probabilistic methods at the undergraduate and graduate levels.
