David Kozák is a Senior Researcher at Oracle Labs, where they focus on static analysis for ahead-of-time compilers, particularly within the GraalVM project. They have a strong background in software engineering, having previously worked as a Software Developer and Researcher at various esteemed organizations, including JetBrains and AURA, s.r.o. David graduated with a Master's degree in Information Systems and is currently pursuing a PhD in static analysis, compilers, and software verification at Vysoké učení technické v Brně. Alongside their research, they enjoy competitive programming and personal development within the field of programming languages.
This person is not in the org chart
This person is not in any teams
This person is not in any offices