Mikaël Mayer
9,351
reputation
5
58
96
I am a computer science doctoral student at EPFL, working for the Laboratory of Automatised Reasoning and Analysis.