I am a computer science doctoral student at EPFL, working for the Laboratory of Automatised Reasoning and Analysis. Currently doing an internship for Microsoft Research.