723
reputation
4
12

Petr Hudeček

I am especially interested in compilers, language design and formal proving.

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

I am affiliated with PostSharp Technologies and answer -related questions in that capacity.

10
answers
1
question
~39k
people reached

Top tags (17)

Score 33
Posts 4
Posts % 36
Score 24
Posts 4
Score 19
Posts 3
Score 14
Posts 1
Score 14
Posts 1
Score 14
Posts 1

Top posts (11)

View all questions and answers

Badges (16)

Gold

Silver

4

Rarest

Bronze

12

Rarest