


Stats
3,399
reputation
0
reached
0
answers
0
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 postsharp-related questions in that capacity.
Badges
View all badges
This user doesn’t have any gold badges yet.
10
silver badges
-
Yearling
× 10Nov 19
3
bronze badges
-
CriticApr 29
-
SupporterDec 2, 2013
-
AutobiographerNov 19, 2013
Posts
This user hasn’t posted yet.
Top network posts
View all network posts