I am a PhD student at the Computer Science Institute, Faculty of Mathematics and Physics, Charles University under my advisor David Hartman.
You can contact me via email: honst at iuuk.mff.cuni.cz