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