Currently studying computer science at Faculty of Mathematics and Physics, Charles University, Prague.

I'm interested in functional programming (mainly Haskell and Agda), formal logic and type theory.