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.