Mikaël Mayer
101
reputation
1
I am a computer science doctoral student at EPFL, working for the Laboratory of Automatised Reasoning and Analysis.