Research Internship
January 2019 - June 2019
Institute of Computer Science, Polish Academy of Science,
Warsaw, Poland,
Under the supervision of Wojtek Jamroga.
Report: Human Errors and Natural Strategies.
September 2018 - December 2018
Université Libre de Bruxelles (ULB),
Brussels, Belgium,
Under the supervision of Jean-François Raskin.
Report: Expected Window Mean-Payoff.
This internship led to a publication in FSTTCS 2019, and a complete version of our work can be found on arXiv [arxiv].
May 2018 - August 2018
Singapore University of Tecnhology and Design (SUTD),
Singapore, Singapore,
Under the supervision of Costas Courcoubetis.
Report: Ride sharing platform Vs Taxi platform: the impact on the revenue.
September 2017 - April 2018
INRIA Rennes,
Rennes, France,
A year-long internship during the school year (2 hours a week) with two fellow students Thomas Mari and Julie Parreaux, in the team SUMO under the supervision of Nathalie Bertrand, Loïc Hélouët and Ocan Sankur. This internship led to a publication in RSSRail 2019.
Report: Evaluating regulation policies for subways with model checking.
May 2017 - July 2017
INRIA Rennes,
Rennes, France,
Team EMSEC, under the supervision of Stéphanie Delaune.
Report (in french): Establish unlinkability of crytographic protocol with Proverif.