Research Day is a day dedicated to the research initiatives Red Hat supports at various universities around Europe. The aim of this event is to bring together international researchers, Red Hat engineers, industry representatives, customers, partners, and other interested people to share knowledge about the latest research findings. Network with research enthusiasts from around the world and move great research ideas into open source communities.

After a successful inaugural event in Boston in 2019, Research Day expands to Brno in 2020 and will feature researchers from Europe presenting current research projects such as encryption, crypto-algorithms, new forms of attacks, and work on automation of formal code verification.

We’ve selected themes that show how academic research projects are addressing critical issues:

  • Data-Intensive Science and Software
  • Security and privacy
  • Code analysis and verification

Research Day took place the day before on Thursday, 23 January, in Brno.

AGENDA (Click on the particular talks to see the videos)

8:00 Registration open
Track: Data-Intensive Science and Software chair: Viktor Malík
9:00 Open Cloud Testbed Developing a Testbed for the Research Community Exploring Next-Generation Cloud Platforms Michael Zink link
9:30 Machine Learning for Adaptive Human Learning Radek Pelánek link
10:00 Acoustic Identification of Cetaceans Georgia Atkinson link
10:30 Automating Computational Placement in IoT Environments Peter Michalák link
11:00 OpenShift-based High-Performance Computing for Research in Astrophysics Filip Hubík, Nikolaos Moraitis, Gabriel Szász & Zdeněk Švécar link
11:30 Avoiding bad Decisions and Heuristics Ulrich Drepper link
12:00 Lunch
Track: Security and Privacy chair: Vashek Matyáš presentation:
13:00 Observing developers interacting with TLS certificates Martin Ukrop link
13:30 Analyzing, breaking and improving certified cryptographic hardware (TPMs and smartcards), Petr Švenda link
14:00 Improving disk encryption in Linux Milan Brož link
14:30 Leaky processors: Lessons from Spectre, Meltdown, and Foreshadow Jo van Bulck / Daniel Gruss link
15:00 Plundervolt: Pillaging and plundering SGX with Software-based Fault Injection Attacks Kit Murdock link
15:30 Coffee break
Track: Code Analysis and Verification chair: Tomáš Vojnar presentation:
16:00 – 17:00 Automated Formal Verification
16:00 – 16:15 Automated Formal Verification Formal Verification of a Linux Distribution Kamil Dudka link
16:15 – 16:30 Symbiotic: program slicing framework Marek Chalupa link
16:30 – 16:45 Heavy-Duty Program Analysis with DIVINE Vladimír Štill link
16:45 – 17:00 Run-time verification using Testos Aleš Smrčka
17:00 Performance Versioning System Tomáš Fiedor link
17:30 Efficient Runtime Verification for the Linux Kernel Daniel Bristot de Oliveira link
19:00 Social event with reception


Learn more about Research Day

Research Day made its debut in 2019 as a part of Red Hat Summit in Boston, US.

Check out the highlights from first-ever Research Day!


Hotel Passage

Lidická 23,
602 00 Brno-střed
Czech Republic

Tram no. 1, 6
Tram station: Antonínská or Moravské náměstí

Do you want to stay in this hotel during your visit?

>>Contact hotel via email ask for reservation of the room and use the promo code “RD2020” while booking the hotel Passage to get a special price