Julie PARREAUXComputer Science Student |
 |
 |
Julie PARREAUXComputer Science Student |
|
|
Vous trouverez ici mon CV en format pdf.
| 2020 - maintenant | Doctorat en Informatique, Aix-Marseille Université sous la supervision de Benjamin Monmege et Pierre-Alain Reynier |
|
| 2019 - 2020 | Master 2 d'informatique parcours Science Informatique, ENS Rennes & Université de Rennes 1 | |
| 2018 - 2019 | Préparation à l'agrégation, ENS Rennes & Université de Rennes 1 | |
| 2017 - 2018 | Master 1 d'informatique parcours Science Informatique, ENS Rennes & Université de Rennes 1 | |
| 2016 - 2017 | Licence 3 d'informatique parcours R&I , ENS Rennes & Université de Rennes 1 | |
| 2014 - 2016 | Licence 1 et 2 MIEE mention mathématiques, Université de Rennes 1 | |
| 2014 - 2015 | Formation à la médiation scientifique, Université de Rennes 1 | |
| 2014 | Baccalauréat scientifique spécialité mathématiques, Lycée Felix Le Dantec, Lannion |
| 2022 | Decidability of One-Clock Weighted
Timed Games with Arbitrary Weights, CONCUR22, avec B. Monmege et P-A. Reynier |
||
| 2021 | Playing Stochastically in Weighted
Timed Games to Emulate Memory, ICALP21, avec B. Monmege et P-A. Reynier |
||
| 2020 | Reaching Your Goal Optimally by Playing
at Random, CONCUR20, avec B. Monmège et P-A. Reynier |
||
| 2020 | rapport | Stochastic Strategies in Quantitative and Timed Games (biblio) | |
| 2019 | 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 |
||
| 2018 | Selective Monitoring Without Delay for Probabilistic System | ||
| 2018 | rapport | Model checking rail networks, avec B. Bordais et T. Mari (biblio) | |
| 2017 | Panorama des modèles et outils de vérification pour les systèmes probabilistes |
| Septembre 2022 | CONCUR 2022, en ligne | |
| Juillet 2022 | HightLights 2022, Paris | |
| Juin 2022 | MOVEP 2022, Aalborg Danemark | |
| Juin 2022 | Réunion de fin du projet ANR Delta, Marseille | |
| Mars 2022 | TickTac réunion annuelle 2022, en ligne | |
| Mars 2022 | STACS 2022, en
ligne Aide technique sur zoom |
|
| Septembre 2021 | HighLights, en ligne | |
| Juillet 2021 | ICALP 2021, en ligne | |
| Avril 2021 | WATA
2020-2021, en ligne |
|
| Mars 2021 | STACS 2021, en ligne | |
| Novembre 2020 | Réunion annuelle de l'ANR TickTac, en ligne | |
| Septembre 2020 | HighLights, en ligne | |
| Septembre 2020 | CONCUR 2020, en ligne | |
| Juin 2020 | MOVEP 2020, en ligne | |
| Juillet 2018 | FLOC 2018, à l'université
d'Oxford Participation en tant qu'étudiante bénévole. |
|
| Mai 2017 | International Workshop on Distributed Computing in the honor of Michel Raynal 2017, Inria Rennes | |
| 2017-2019 | Séminaires 68NQRT,
IRISA / Inria Rennes Séminaires de recherche organisées par les équipes de l'INRIA Rennes et de l'IRISA. |
|
| 2016-2018 | Séminaires du
DIT, ENS Rennes Séminaire de découverte de la recherche informatique à destination des étudiants de L3 et M1 du Département d'Informatique et Télécommunication de l'ENS Rennes. |
|
| 2015-2017 | Mathematic World,
IRMAR Rennes Séminaire trimestriel présentant la recherche mathématiques à destination des étudiants en licence. |
| Juillet 2022 | Visite à Dresde chez Christel Baier | |
| Février à Juin 2020 | Stage de recherche à Aix-Marseille Université dans l'équipe Move
Stratégies stochastiques dans les jeux à coûts et les jeux temporisés, sous la direction de Benjamin Monmege et Pierre-Alain Reynier. |
|
| Juillet à Août 2019 | Stage de recherche facultatif à Aix-Marseille Université dans
l'équipe Move Stratégies stochastiques dans les jeux à coûts, sous la direction de Benjamin Monmege et Pierre-Alain Reynier. |
|
| Mai à Août 2018 | Stage d'initiation à la recherche dans
le cadre du M1 à l'université de Oxford Efficient monitoring of stochastic systems, sous la direction de Stefan Kiefer |
|
| Septembre 2017 à Avril 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 |
|
| Janvier 2017 | Visite des laboratoires INRIA & LIG de Grenoble
organisée par l'ENS Rennes, le LIG
et l'Inria de Grenoble |
|
| Mai 2017 | Visite des laboratoires INRIA & LS2N de Nantes organisée par l'ENS Rennes et le LS2N de Nantes | |
| Mai à Juillet 2017 | Stage d'initiation à la recherche dans le cadre de la L3 à l'INRIA
Rhône-Alpes dans l'équipe Convecs
Panorama des modèles et outils de vérification pour les outils
probabilistes, sous la direction d'Hubert Garavel |
|
| Janvier à Mars 2017 | XTRA: Visiter un chercheur, chez Alan Schmitt de l'équipe Celtique. | |
| Septembre à Décembre 2016 | |
Tutorat en L1 pour le cours d'Algorithme et Programmation
Fonctionnelle, Université de Rennes 1 |
| Janvier 2016 | Visite des laboratoires INRIA & Cristal de Lille organisée par l'ENS Rennes et l'INRIA de Lille | |
| Été 2015 |
Acceuil du camping municipal, Trédrez-Locquémeau | |
| Mai 2015 |
Stage de découverte du métier d'ensignant, Collège du Penker, Plestin-Les-Grèves | |
| Été 2014 | Guide de l'église de Trédrez |
| Février 2022 - | |
Élue au conseil de département DII de l'UFR Science d'AMU |
| 2022 - 2023 | |
Architecture des ordinateurs, TD-TP, Licence 2 math-info, AMU |
| Système d'exploitation, TD-TP, Licence 2 math-info, AMU | ||
| Probabilité pour l'informatique, TD-TP, Master 1, informatique, AMU | ||
| 2021 - 2022 | |
Introduction à l'informatique, TD, Licence 1 Portail Descartes, AMU |
| Système d'exploitation, TP, Licence 2 math-info, AMU | ||
| Architecture des ordinateurs, TP, Licence 2 math-info, AMU | ||
| Projet d'initiation au génie logiciel, TP, Licence 2 informatique, AMU | ||
| 2020 - 2021 | Introduction à l'informatique, TD, Licence 1 Portail Descartes, AMU | |
| Automates finis, TD-TP, Licence 2 informatique, AMU | ||
| Projet d'initiation au génie logiciel, TP, Licence 2 informatique, AMU | ||
| 2017 - 2020 | Informatique débranchée,
présentation des concepts informatiques à des primaires sans
ordinateur, ENS Rennes |
|
| Septembre à Décembre 2016 | Tutorat en APF, Algorithmique et Programmation
Fonctionnelle pour des élèves en L1 MIEE, Université de Rennes 1 |
| 2017 - | Arbitre volley-ball niveau départemental | |
| Juillet 2018 | Étudiante bénévole à la conférence FLOC 2018 | |
| 2017 - 2018 | Trésorière de l'Association Sportive de l'ENS Rennes | |
| 2014 - 2015 |
|
Bénévole aux collections de l'Université
de Rennes 1, acceuil des visiteurs |
| 2013 - 2018 |
Entraînement des jeunes à l'école de boules bretonnes, arbitrage
des compétitions jeunes |
|
| 2010 - 2014 |
Arbitre de handball pour les jeunes |
| Français | Langue maternelle | |
| Anglais | Lu et parlé |
| C2i | Validation en 2015 | |
| Langage maîtisé | LaTeX, Java, Scala, Scheme, Caml | |
| Intermédiaire | C/C++, R, Python, Bash |
| Le sport | Pratique du volley-ball, de la boule bretonne, hand-ball | |
| La science | Mathématiques, informatique, astronomie |