I am a PhD student at LSV under the joined supervision of Stefan Haar and Loïc Paulevé since 1st March 2017.
I have done my Master in theoretical computer science at Masaryk University in Brno, Czech Republic. My Masaryk University homepage.