I am a PhD student at INRIA Nancy. I work in LORIA’s team PESTO under the supervision of Steve Kremer and Jannik Dreier.