David Kozák

David Kozák Email and Phone Number

Senior Researcher @ Oracle
South Moravian Region, Czechia
David Kozák's Location
Brno, South Moravia, Czechia, Czech Republic
David Kozák's Contact Details

David Kozák work email

David Kozák personal email

n/a
About David Kozák

I am a passionate software engineer who loves programming, learning new things and personal development in general. When it comes to IT, my main interests are programming languages - their design, implementation and analysis. I am interested and excited about the whole field ranging from language design, syntax and semantic analysis, type systems, static and dynamic analysis, interpreters, compilers, debuggers and IDEs.Apart from that, I am also fond of competitive programming. You can sometimes find me competing on Codeforces though I can't really claim to be any good at it yet. I do it for fun. I also try to solve some tasks at LeetCode every now and then.I live and work from Brno, a town in the beautiful land of Moravia in the Czech Republic. This year, I graduated from the Faculty of Information Technology at the Brno University of Technology. Currently, I work as a Research Assistant (read intern) in the GraalVM team at Oracle Labs.If I were to describe my perfect position, it would be somewhere on the edge between theory and practice. I'd like to solve complex problems using theoretical knowledge from academia and implement the solution as an industrial tool. On top of that, I'd like my job to involve developer advocacy as well, since I enjoy public speaking, teaching, travelling and in general I like being around people.

David Kozák's Current Company Details
Oracle

Oracle

View
Senior Researcher
South Moravian Region, Czechia
Website:
oracle.com
Employees:
202102
David Kozák Work Experience Details
  • Oracle
    Senior Researcher
    Oracle
    South Moravian Region, Czechia
  • Oracle
    Research Assistant At Oracle Labs
    Oracle Sep 2020 - Present
    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
  • Knowledge Technology Research Group  At Fit But
    Software Engineer
    Knowledge Technology Research Group At Fit But Mar 2019 - Aug 2020
    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.
  • Jetbrains
    Software Developer At The Mps Team
    Jetbrains Sep 2018 - Feb 2019
    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.
  • Jetbrains
    Internship At The Mps Team
    Jetbrains Jul 2018 - Aug 2018
    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.
  • Aura, S.R.O.
    Full-Stack Java Developer
    Aura, S.R.O. Feb 2018 - Aug 2018
    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.
  • Automated Analysis And Verification Research Group - Verifit,  Fit Vut
    Java Developer In Research
    Automated Analysis And Verification Research Group - Verifit, Fit Vut Jun 2015 - Dec 2017
    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.
  • Beeeon
    Android Developer
    Beeeon Jan 2015 - Dec 2015
    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.

David Kozák Education Details

Frequently Asked Questions about David Kozák

What company does David Kozák work for?

David Kozák works for Oracle

What is David Kozák's role at the current company?

David Kozák's current role is Senior Researcher.

What is David Kozák's email address?

David Kozák's email address is da****@****cle.com

What schools did David Kozák attend?

David Kozák attended Vysoké Učení Technické V Brně, Vysoké Učení Technické V Brně, Escola Superior De Tecnologia E Gestão, University Of Southern Denmark, Technological Educational Institute Of Crete, Vysoké Učení Technické V Brně.

Who are David Kozák's colleagues?

David Kozák's colleagues are Alina Dragut, Sarah Roumane, Sandipan Ghorai, Anita Mikulič, Antonie Ioana - Madalina, David Pecoraro, Andra Carmen Cioclu.

Not the David Kozák you were looking for?

  • David Kozák

    General Counsel Emeai At Honeywell
    Praha - Západ
    2
    seznam.cz, honeywell.com
  • David Kozák

    Project Manager Senior
    Mladá Boleslav
  • David Kozak

    Category Development Manager At Mondelēz International
    Prague, Czechia
    2
    centrum.cz, mondelezinternational.com
  • David Kozák

    “Whether You Think You Can, Or You Think You Can'T, You'Re Right.”
    Prague, Czechia

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.