Stack Overflow
Stack Overflow

jakubdaniel
2,233
reputation
1
13
20
  • Member since November 03 2011
  • 223 profile views
  • Last seen Jun 05 '23 at 10:48

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.