703
reputation
4
11

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
0
questions
~35k
people reached

Top tags (14)

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

Top posts (10)

Badges (15)

Gold

Silver

4

Rarest

Bronze

11

Rarest