I am a computer science doctoral student at EPFL, working for the Laboratory of Automatised Reasoning and Analysis.