About me

I am studying master degree at Chalmers University of Technology in Computer science. Previously I completed my CS bachelor at Charles University in Prague with honors. I am interested in programming languages and proof assistants. My favourite languages are Haskell and C++, and I am using NixOS.

Projects