CV

Basics

Name David Kozak
Email dkozak94@gmail.com
Url https://d-kozak.github.io/
Summary A passionate software engineer and researcher interested in programming language desing, analysis, and implementation.

Work

  • 2020.09 - now
    Research Assistant
    GraalVM Team, Oracle Labs
    Developing new static analysis methods for ahead-of-time compilers.
    • Call Graph Construction
    • Points-to Analysis
    • Compiler Optimizations
  • 2019.03 - 2020.08
    Software Engineer
    Knowledge Technology Research Group, FIT BUT
    Worked on a search engine for semantically enhanced documents. Designed a distributed system with multiple types of components. Designed a special query language, a compiler and specialized searching algorithms. Backend components in Kotlin using Spring. Web frontend in TypeScript using React.
    • Search Engine
    • Distributed System
    • Query DSL
  • 2018.09 - 2019.02
    Software Developer
    JetBrains
    Language engineering using MPS. Building and maintaining Domaing Specific Languages and IDE support for them.
    • MPS
    • Domaind Specific Languages
    • Metaprogramming
  • 2018.07 - 2018.08
    Intern
    JetBrains
    DSL engineering and language engineering in general. Converting Antrl4 grammar into MPS project. Automatic detection of formatting for a given language.
    • MPS
    • Domaind Specific Languages
    • Antlr4
  • 2018.02 - 2018.08
    Java Full Stack Developer
    Aura
    Worked on an information system using JavaEE, Spring and Hibernate. JSF on the presentation layer and Spring and Hibernate in the backend.
    • Spring
    • Hibernate
    • Java Server Faces
  • 2015.06 - 2017.12
    Java Developer in Research
    Automated Analysis and Verification Research Group - VeriFIT
    Search-based testing of concurrent Java programs using noise injection. Integrated SearchBestie with RoadRunner, an open-source tool for dynamic analysis of concurrent Java programs. Designed and evaluated new heuristics for noise injection.
    • Dynamic Analysis
    • Concurrency
    • Search-based Testing
  • 2015.01 - 2015.12
    Android Developer
    BeeeOn
    Worked on an Android application for IOT system. Added automated testing support.
    • Internet of Things
    • Android
    • Automated Testing

Education

  • 2021 - now
    PhD
    Faculty of Information Technology, Brno University of Technology
    Compilers and Static Analysis
  • 2017 - 2020
    Ing
    Faculty of Information Technology, Brno University of Technology
    Information Systems
  • 2014 - 2017
    Bc
    Faculty of Information Technology, Brno University of Technology
    Software Development

Volunteer

  • 2019.09 - 2019.12
    Vicepresident
    Erasmus Student Network BUT
    Organized and moderated meetings. Maintained the ESN office. Helped the president with running the club.
    • Helping Foreign Students
    • Meeting organization
  • 2017.08 - 2019.09
    Member
    Erasmus Student Network BUT
    Helped foreign students during their Erasmus in Brno. Taught Czech lessons. Organized events for hundreds of Erasmus students. Communicated and cooperated with people from different cultures and backgrounds.
    • Helping Foreign Students
    • Event Organization
    • Teaching Czech

Awards

  • 2020.09
    Dean's Award
    Faculty of Information Technology, Brno University of Technology
    For excellent master thesis.
  • 2020.05
    Expert Panel Award
    Excel@FIT
  • 2018.04
    UnIT Hackaton - Webapps
    Third place.
  • 2017.12
    8 from BUT
    Faculty of Information Technology, Brno University of Technology
    First place.
  • 2017.09
    Red Diploma
    Faculty of Information Technology, Brno University of Technology
    For excellent results in bachelor studies.
  • 2017.09
    Dean's Award
    Faculty of Information Technology, Brno University of Technology
    For excellent results in bachelor studies.
  • 2017.09
    Rector's Award
    Faculty of Information Technology, Brno University of Technology
    For excellent results in bachelor studies.
  • 2016.05
    EBEC Brno
    Second place.

Skills

General
Problem Solving
Algorithms and Data Structures
Software Design and Architecture
Specialization
Compilers
Interpreters
Virtual Machines
Static and Dynamic Analysis
Languages
Kotlin
JavaScript/TypeScript
Java
Python
Frameworks and Libraries
React & Redux
JavaFX
Java EE
JPA/Hibernate
Spring
Soft Skills
Public Speaking
Teaching

Interests

Competitive Programming
Dancing
Zouk/Lambada
Argentine Tango
Personal Development
Travelling
Philosophy

Languages

Czech
Native Speaker
English
Fluent
German
Basic
Greek
Basic