I am a student of Computer Science at Charles University in Prague. I am especially interested in compilers and language design, and also in formal proving.

I try hard for academic accomplishments and my interests are wide even beyond the world of computers.

I also make videogames, see here for a list with screenshots: http://hudecekpetr.cz/my-videogames/