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/
- Role-playing Games 1.6k 1.6k 99 silver badges2020 bronze badges
- Stack Overflow 1.1k 1.1k 1212 silver badges2424 bronze badges
- Law 663 663 44 silver badges1111 bronze badges
- English Language & Usage 273 273 11 gold badge44 silver badges88 bronze badges
- Board & Card Games 212 212 11 silver badge66 bronze badges
- View network profile →
Top network posts
- 34 What is the origin of D&D 1-9 spell levels?
- 16 typeof(T) within generic nested types
- 13 Why are there so many youtube to mp4 and mp3 download websites online when it is illegal?
- 12 If an identity conversion exists from S to T, must it be that S and T are same type?
- 11 Are there any limits on the crimes a corporation can be convicted of?
- 9 According to Book of Exalted Deeds, how to choose between two evils?
- 9 What is the origin of the term "converted mana cost"?
- View more network posts →