David Kozák Email & Phone Number

South Moravian Region, Czechia

Brno, Jihomoravský, Česko

Working on the GraalVM - a high-performance polyglot virtual machine.I am doing research on top of GraalVM Native Image. My main focus is static analysis for ahead-of-time compilers:* Call graph construction, points-to analysis, compiler optimizations* Used Rapid Type Analysis to reduce the Native Image build time by up to 35% compared topure points-to analysis (without saturation)* Developed Whole-Program Sparse Conditional Constant Propagation, reducing the size ofNative Image binaries by 6.5% without impacting the build time

Okres Brno-Město, Česká Republika

I work on a search engine for querying semantically enhanced documents available within Knowledge Technology Research Group at FIT BUT. It is a distributed system consisting of multiple types of components. The task also includes designing a special query language, it's compiler and specialized searching algorithms. Backend components are written in Kotlin using Spring. Web frontend is written in TypeScript using React. My responsibility is to design, develop and deploy the whole system.

Hlavní Město Praha, Česká Republika

I dived deeper into language engineering using MPS and learned how to use it to develop DSLs and IDE support for them.

Hlavní Město Praha, Česká Republika

I studied DSL engineering and language engineering in general. In particular, I worked on a tool for converting Antrl4 grammar into MPS project. I designed and implemented an extension to support automatic detection of formatting for a given language.

Okres Brno-Město, Česká Republika

I worked on an information system using JavaEE, Spring and Hibernate. I used JSF on the presentation layer and Spring and Hibernate in the backend.

Okres Brno-Město, Česká Republika

I maintained SearchBestie infrastructure for search-based testing of concurrent Java programs using noise injection. My main task was to integrate SearchBestie with RoadRunner, an open source tool for dynamic analysis of concurrent Java programs. I also designed new heuristics for noise injection and evaluated them.

Okres Brno-Město, Česká Republika

I worked on an Android application for controlling an IoT system. First, I was focused on the development, then I moved towards testing. I prepared an automated testing support for the app and integrated it with Jenkins.

Doctor Of Philosophy - Phd, Static Analysis, Compilers, Verification Of Software

Master'S Degree, Information Systems

Erasmus, Software Enginnering

Erasmus, Computer Software Engineering

Erasmus, Software Engineering

Bachelor'S Degree, Information Technology