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
799
reputation
5
19

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/

2
answers
26
questions
~18k
people reached

Top tags (26)

Score 4
Posts 3
Posts % 11
Score 2
Posts 22
Score 2
Posts 3
Score 2
Posts 1
Score 0
Posts 3
Score 0
Posts 2

Top posts (28) All Questions Answers | Votes Newest

View all questions and answers

Badges (24)

Gold

Silver

5

Rarest

Bronze

19

Rarest