Stats
2,233
reputation
0
reached
0
answers
0
questions
Loading…
Communities
About
I am a PhD student in Computer Science at Charles University in Prague. I focus on Program Verification. Other than that I am fond of the Haskell language, eager to learn it better. I really like math, physics, and indian food.
Badges
View all badges
This user doesn’t have any gold badges yet.
10
silver badges
-
Yearling
× 10Nov 3
1
bronze badge
-
AutobiographerSep 18, 2015
Posts
This user hasn’t posted yet.
Top network posts
View all network posts