David Kozák work email
- Valid
David Kozák personal email
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.
-
Senior ResearcherOracleSouth Moravian Region, Czechia -
Research Assistant At Oracle LabsOracle Sep 2020 - PresentBrno, Jihomoravský, ČeskoWorking 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 -
Software EngineerKnowledge Technology Research Group At Fit But Mar 2019 - Aug 2020Okres Brno-Město, Česká RepublikaI 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.
-
Software Developer At The Mps TeamJetbrains Sep 2018 - Feb 2019Hlavní Město Praha, Česká RepublikaI dived deeper into language engineering using MPS and learned how to use it to develop DSLs and IDE support for them. -
Internship At The Mps TeamJetbrains Jul 2018 - Aug 2018Hlavní Město Praha, Česká RepublikaI 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. -
Full-Stack Java DeveloperAura, S.R.O. Feb 2018 - Aug 2018Okres Brno-Město, Česká RepublikaI worked on an information system using JavaEE, Spring and Hibernate. I used JSF on the presentation layer and Spring and Hibernate in the backend. -
Java Developer In ResearchAutomated Analysis And Verification Research Group - Verifit, Fit Vut Jun 2015 - Dec 2017Okres Brno-Město, Česká RepublikaI 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.
-
Android DeveloperBeeeon Jan 2015 - Dec 2015Okres Brno-Město, Česká RepublikaI 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
-
Static Analysis, Compilers, Verification Of Software -
Information Systems -
Software Enginnering -
Computer Software Engineering -
Software Engineering -
Information Technology
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?
-
2seznam.cz, honeywell.com
-
-
2centrum.cz, mondelezinternational.com
-
Free Chrome Extension
Find emails, phones & company data instantly
Aero Online
Your AI prospecting assistant
Select data to include:
0 records × $0.02 per record
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.
Start your free trial