Julie PARREAUXPostdoctoral researcher in computer science |
|
From January 2020 to July 2020, I did a research internship at Aix-Marseille University under the supervision of Pierre-Alain Reynier and Benjamin Monmege. During this internship, I worked on a problem stemming from game theory. The objective is to study a compromise between memory and the probabilities used in the strategies of quantitative or timed games at cost. Here are my bibliographic report and the slides of the presentation, as well as my internship report and the slides of the presentation.
From May 2018 to August 2018, I did an introductory research internship at the University of Oxford under the supervision of Stefan Kiefer. During this internship, I worked on a monitoring problem on probabilistic automatons. The objective was to find a strategy for minimizing the observations on our automation but deciding, as soon as possible, the presence or absence of errors. Then we tried to classify this problem. Here is my report and the slides of the presentation.
This internship was also the opportunity to attend the FLOC 2018 conference as a volunteer. I was then able to discover a conference (on the side of the organization and the side of the auditor). This experience was very enriching and was the opportunity for me to meet researchers from the community. I would like to thank Stefan Kiefer for his welcome, his time, our interactions as well as the opportunities he offered me (especially with the FLOC conference).
With Benjamin Bordais and Thomas Mari, we make an intership (research project) during our first year of master degree. Ocan Sankur, Loïc Hélouët and Nathalie Bertrand welcom us in their team, SUMO (IRISA/Inria Rennes) a half of a day per week. In this project, we work modelisation, verification and regulation of urban train networks. To do so, we use probabilistic models (DTMC, MDP) to reflect the unpredictable delays of metros. The objective is to evaluate the performances of given regulation policies, or to design new optimal regulation policies.
During the first semester, we create a bibliography. So, we have read some research articles about verification with MDP or DTMC, dalays of rail networks modelisation PRISM, Storm tools. This work was concluded by a report and a presentation (here our slides). During the second semester, we will reach our goals.
This project interested me both for the scientific topic and for the human aspect. It allows me to meet exciting people and improve my knowledge about interesting subjects. I want to thanks our supervisors Nathalie Bertrand, Loïc Hélouët and Ocan Sankur for their time, their accomodation and their help all along this year.
In summer 2017, I made a resaerch intership in Grenoble (Inria
Rhône-Alpes) supervized by Hubert Garavel. I Have study the verification
tools for the probabilistic systems. Our goal was build a tools
databases with their caracterisitcs: authors, versions, models and logic
used, published examples. Datas are stocked and organised on this webpage. Moreover, I
wrote a script (caracteristics based) to sort data. This work has
concluded by a report (in
French) and a presentation
(in French). I want to
thinks Hubert Garavel and Convecs Inria team for their welcom, their
tims and our discussion all along this intership.