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
2022–now – P4 Compiler Developer at Intel
At Intel, we are developing compilers that allow programming of network infrastructure hardware using the P4 language. The compiler is written in C++ and based on the open-source p4c compiler. In this work, I am also occasionally contributing to the p4c itself.
2020–2022 – Lecturer in Programming at Faculty of Informatics of Masaryk University
I was teaching courses related to programming (Haskell, C++, Python) and formal languages. I was also maintaining tools for the automatic evaluation of programming exercises in Haskell and formal languages, and I was responsible for homework assignments in these courses.
You can find more about my teaching on my teaching page.
2016–2020 – Ph.D. Researcher in Program Analysis at Faculty of Informatics of Masaryk University
My Ph.D. research was focused on the analysis of parallel C++ programs. In particular, my goal was to extend state of the art in model checking of realistic C++ programs with threads. I was one of the developers of the DIVINE verification tool for analysis of C++ programs. The tool itself is written in C++ and based on the LLVM compiler infrastructure.
You can find my Ph.D. thesis on my research page and all my publications at the publications page.
2011–2020 – Teaching Assistant at Faculty of Informatics of Masaryk University
Already during my studies, I was teaching seminars at the faculty. My main topics included functional programming in Haskell, an advanced C++ programming (I was one of the creators of advanced C++ course at the faculty) and formal languages. In later years (since 2014), I have headed teams responsible for homework assignment creation and grading for functional programming and formal languages.
You can find more about my teaching on my teaching page.
My Projects
- My current work is mainly on proprietary P4 compiler at Intel, but I occasionally contribute to the open-source p4c compiler.
- hsExprTest, a tool for automatic comparisons of Haskell expressions and ExprTest which is a building block for testing short tasks in other programming languages. It is also used for non-programming short exercises in teaching of formal languages and statistics courses. These projects focus mostly on testing of students who are submitting their tasks through e-learning facilities in information system of Masaryk University. The project was first used in 2014 and I am extending it since then.
- I am organizing free-time activities with Instruktoři Brno(CZ), including Escape from ZOO(CZ).
- I was also involved in organizing several free-time activities under the Nordic Animals Association(CZ), most importantly the InterLoS(CZ) internet game with puzzles/ciphers and programming tasks (2013–2021), and KSI(CZ) which is an online programming seminar for students who are thinking about studying computer science at the university (2015–2020).
- DIVINE, a program analysis tool developed in the ParaDiSe laboratory. It focuses on analysis of C and C++ programs. DIVINE is a long team effort, I was part of the DIVINE development team between 2014 and 2020.
- More of my projects can be found on my GitHub page.