Petr Hudeček
Stats
723
reputation
41k
reached
10
answers
1
questions
Loading…
About

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.

This user doesn’t have any gold badges yet.
4
silver badges
12
bronze badges

Top tags (16)

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

Top posts (11)

View all questions and answers