Promoting Collaboration with students and researchers

Red Hat Research Day Europe 2020

January 23, 2020Brno, Czech RepublicHotel Passage

Overview

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 will take place the day before DevConf.cz on Thursday, 23 January, in Brno. 
 
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!

Agenda

Time Session Chair/Speaker
8:00 Registration opens
Track: Data-Intensive Science and Software
9:00 Open Cloud Testbed Developing a Testbed for the Research Community Exploring Next-Generation Cloud Platforms Michael Zink
9:30 Machine Learning for Adaptive Human Learning Radek Pelánek
10:00 Acoustic Identification of Cetaceans Georgia Atkinson
10:30 Automating Computational Placement in IoT Environments Petr Michalák
11:00 info coming soon Speaker name
11:30 Avoiding bad Decisions and Heuristics Ulrich Drepper
12:00 Lunch
Track: Security and Privacy Vashek Matyáš
13:00 Observing developers interacting with TLS certificates Martin Ukrop
13:30 Analyzing, breaking and improving certified cryptographic hardware (TPMs and smartcards) Petr Švenda
14:00 Improving disk encryption in Linux Milan Brož
14:30 Leaky processors: Lessons from Spectre, Meltdown, and Foreshadow Jo van Bulck / Daniel Gruss
15:00 Plundervolt: Pillaging and plundering SGX with Software-based Fault Injection Attacks Kit Murdock
15:30 Coffee break
Track: Code Analysis and Verification Tomáš Vojnar
Automated Formal Verification
16:00-16:15 Formal Verification of a Linux Distribution Kamil Dudka
16:15-16:30 Symbiotic: program slicing framework Marek Chalupa
16:30-16:45 info coming soon Speaker name
16:45-17:00 Run-time verification using Testos Aleš Smrčka
17:00 Performance Versioning System Tomáš Fiedor
17:30 Efficient Runtime Verification for the Linux Kernel Daniel Bristot de Oliveira
19:00 Social event with reception

Travel / Location


Location: 
Hotel Passage
Lidická 23
Brno Jihomoravsky kraj, Czech Republic


Date: 

Time: 

If you have any questions, send us an email.

Speakers

Downloads

Sponsors

A big thank you to our sponsors!