About me

I am a PhD candidate at the Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. I study under the supervision of Mgr. Roman Neruda, CSc.