Hello, my name is Matěj Grabovský and I am a self-proclaimed web developer and all-around coder living in a small town in Czechia. I am a friendly guy with generally positive attitude towards anything related to programming and computers. My areas of interest include theory of programming languages, algorithms and data structures, formal verification, and mathematical foundations. I like clean, self-describing, minimalistic code and languages that allow writing it.
I am familiar with code review process and version control systems, namely, Subversion and Git.