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 804 804 66 silver badges2020 bronze badges
- Stack Overflow 750 750 1010 silver badges2323 bronze badges
- Law 663 663 44 silver badges1111 bronze badges
- Area 51 201 201 44 bronze badges
- English Language & Usage 188 188 11 gold badge22 silver badges88 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 What is the origin of the term "converted mana cost"?
- 8 What are the full names of all the outer planes?
- View more network posts →