user avatar
user avatar
user avatar
Petr Hudeček
  • Member for 7 years, 2 months
  • Last seen more than a week ago
Stats
753
reputation
47k
reached
10
answers
1
question
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
13
bronze badges
35
Score
4
Posts
36
Posts %
26
Score
4
Posts
36
Posts %
19
Score
3
Posts
27
Posts %
18
Score
2
Posts
18
Posts %
14
Score
1
Posts
9
Posts %
14
Score
1
Posts
9
Posts %
Top posts
View all questions and answers