David Kozak

• Research Assistant at the GraalVM Team at Oracle Labs
• PhD Student at the VeriFIT Research Group at FIT BUT

My main interests are programming language design, analysis, and implementation. I’m interested in and fascinated about the whole infrastructure that allows us to write efficient programs efficiently ranging from compilers, interpreters, virtual machines, and static analysis tools all the way to IDEs and tooling.

In my PhD, I focus on improving closed-world ahead-of-time compilation using static analysis.

I’ve been contributing for several years to the Native Image ahead-of-time Java compiler, mainly in the area of static analysis.

Apart from compilers, I’m also interested in algorithmic problem solving. I regularly solve tasks at Leetcode as an exercise and I also enjoy participating in Advent of Code.

This is a personal website promoting my own work and research. All opinions expressed on this web page are my own and do not reflect the opinions of my employer.