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

• My bachelor thesis was on improving loop profiling in GCC with Profile-guided optimization supervised by doc. Jan Hubička
• I took part in HoTTest Summer School 2022
• My CV