Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
663
reputation
4
11

Petr Hudeček

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/

10
answers
0
questions
~26k
people reached

Top tags (13)

Score 30
Posts 3
Posts % 30
Score 22
Posts 4
Score 18
Posts 3
Score 13
Posts 1
Score 13
Posts 1
Score 13
Posts 1

Top posts (10) All Questions Answers | Votes Newest

Badges (15)

Gold

Silver

4

Rarest

Bronze

11

Rarest