David Kozák
Senior Researcher at Oracle
Brno, Southeast, Czechia
Summary
🤩
Rockstar🎓
Top SchoolDavid Kozák is a Senior Researcher and software engineer with 11 years of experience specializing in programming languages, compilers, and static analysis. Based in Brno, he has contributed significantly to Oracle's high-profile GraalVM project—improving Java runtime internals, class loading, JNI, and JDWP support—and developed optimizations that cut Native Image build times by up to 35% and reduced binary sizes through whole-program analyses. His background blends academic rigor (PhD work in static analysis and compilers) with practical system-building across industry roles at Oracle, JetBrains, and research groups, including designing custom query languages and distributed search systems. Comfortable on the boundary between theory and practice, he also enjoys developer advocacy, competitive programming, and bringing research ideas into production-grade tooling.
11 years of coding experience
10 years of employment as a software developer
Erasmus, Software Enginnering, Erasmus, Software Enginnering at Escola Superior de Tecnologia e GestãoErasmus, Computer Software Engineering, Erasmus, Computer Software Engineering at University of Southern DenmarkDoctor of Philosophy - PhD, Static analysis, compilers, verification of software, Doctor of Philosophy - PhD, Static analysis, compilers, verification of software at Vysoké učení technické v BrněErasmus, Software engineering, Erasmus, Software engineering at Technological Educational Institute of Crete
Czech, English, German, řečtina
Stackoverflow
41reputation
2kreached
0answers
1question
Github Skills (9)
classloader10
javas10
jna10
classloading10
java10
debugging9
build-system8
draft-js6
react6
Programming languages (4)
Github contributions (5)
oracle/graal
Dec 2018 - May 2024
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
Role in this project:
Back-end Developer
Back-end DeveloperContributions:25 reviews, 1 PR, 49 comments in 5 years 5 months
Contributions summary:David made significant contributions to GraalVM, focusing on improving the Java runtime. Their work involved modifying core functionalities related to class loading, resource bundle handling, and JNI, indicating a focus on the underlying mechanisms of the Java Virtual Machine. The user also made changes to build-time configurations and code related to JDWP debugging support. These commits demonstrate a deep understanding of the Java runtime and its internals.
graalvmjavaaotcompiler
d-kozak/ingrid
Jul 2018 - Aug 2018
Ingrid is a plugin for JetBrains MPS allowing import of ANTLRv4 grammars and create an MPS language out of it.
Contributions:155 commits, 134 pushes, 12 branches in 29 days
grammarsjetbrains
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.