Presented at multiple international conferences such as Cauldron 2025, Eurocomb 2025, Perspectives on Set Theory 2023, etc.; co-authored numerous papers covering areas like structural Ramsey theory, graph homomorphisms, etc.; involved in various research projects.
Research Experience
Associate professor at the Department of Applied Mathematics of Charles University; software developer at SUSE; long-term contributor to GNU Compiler Collection, where he implemented the original port to x86-64 and maintains inter-procedural optimizations, feedback directed optimizations, and the i386 port.
Background
Research interests include structural Ramsey theory, graph homomorphisms, and homogeneous structures. Also interested in the history of photography and works on digitizing the archive of Šechtl and Voseček studios.
Miscellany
Has a strong interest in the history of photography and is involved in the digitization of the Šechtl and Voseček studios' archive.