I am a programmer in modern C++ and in Haskell. I live in Brno, Czechia. Currently, I work at Intel as a P4 compiler developer, enabling programmability of high-speed networking infrastructure such as switches. My previous experiences include teaching of programming and formal languages and research in the area of program analysis.

I studied at the Faculty of Informatics of Masaryk University since 2010 till 2020. From 2010 to 2013, I studied a bachelor in the field of computer networks and communication. After that, I continued with a master’s programme parallel and distributed systems. From 2016 to 2020, I studied Ph.D. with the topic of analysis of parallel C++ programs.

In my free time, I like to travel, walk in nature (especially in mountains), and to take photos of my travels. I also like to climb, mainly on indoor climbing walls. Furthermore, I organise games with Instruktoři Brno(CZ) and Nordic Animals Association(CZ).

Summary of Work Experience

My Projects