Europe RIG

Europe RIG

The Brno Red Hat engineering site collaborates with several universities not only in the Czech Republic and Slovakia but also in Europe. Our long-term partner universities are Masaryk University, Faculty of Informatics and Brno University of Technology, Faculty of Information Technology, but we also cooperate with several other universities, including Czech Technical University in Prague or Graz University of Technology, Austria.

Our engineers lead bachelor and master theses, we cooperate with university laboratories and researchers on projects and grants or sponsor Ph.D. students. We also deliver guest lectures, workshops or even whole courses at universities.

We also support high-school students and teachers, and also organize events for primary schools (for example, on teaching computer science to children). 

Meetings are currently on pause; see details on prior meetings below.

Europe RIG Meeting [April 2023]

Checkpointing and Rollback-Recovery of Distributed Applications in Kubernetes

Research talk by Radostin Stoyanov, Oxford University

In recent years, containers have gained widespread adoption for developing cloud-native applications and microservices. These applications are typically composed of multiple containers managed by a container orchestration platform. However, the techniques currently offered by container orchestration platforms to replicate containers are insufficient to provide high-availability and strong consistency for distributed stateful applications. In this talk, we will explore how container checkpointing can be utilized to provide fault-tolerance for distributed applications, and discuss some of the benefits and challenges. This talk will also provide insights into how coordinated checkpointing can effectively enhance the reliability and resilience of stateful applications in Kubernetes clusters.

Radostin Stoyanov is a PhD student at the University of Oxford. His research focuses on improving the resilience and performance of HPC and cloud computing systems. Before joining Oxford, Radostin received his MPhil degree in Advanced Computer Science from University of Cambridge, and his MEng degree in Computing Science from University of Aberdeen. His master’s research explored virtualization in programmable network devices and secure image-less container migration.

Related research project: SnappyOS: Fault-Tolerant and Energy-Efficient Framework for HPC Applications

Europe Research Interest Group Meeting [February 2023]

Date: February 9, 2023

Meeting Agenda:

Synergizing MLOPS, DataOps, Data Quality, and Software Engineering: A Research-Driven Approach to ML System Development, Deployment and Maintenance by Bestoun S. Ahmed Al-Beywanee, Karlstad University

This talk will provide a research-focused perspective on MLOPS, DataOps, Data Quality, and Software Engineering synergy. Attendees will gain insights into the latest developments and challenges in these fields from a research perspective and learn about the current state-of-the-art in these areas. The talk will explore how these fields can be integrated to improve the development, deployment, and maintenance of machine learning systems in industry and academia. The talk will highlight the importance of collaboration between data scientists and software engineers and how to establish an MLOPS pipeline from the software engineering and quality assurance perspective. The talk will interest researchers, data scientists, engineers, and anyone interested in learning about the latest research and advancements in these areas and how they can be applied to improve their workflows and outcomes. Several case studies and solutions will be presented from industry-academia collaborations projects.

Bestoun S. Ahmed, Ph.D., is an associate professor at Karlstad University and an excellent researcher at the Czech Technical University in Prague. He spent several years researching abroad in many international institutes and collaborating with many industrial partners. He has a strong background in software engineering, artificial intelligence, machine learning, and AI Engineering. He has published several papers in leading journals and conferences in his field and has significantly contributed to developing new algorithms and techniques for solving complex problems. His current research focuses on software engineering for AI solutions and quality assurance in data-driven systems. He is also interested in applying MLOPs on the industrial scale and ensuring high data quality using software engineering concepts.

Join the RIG meeting with Google meet:

Europe RIG Meetings Archive



Affiliated Universities

Faculty of Information Technology – Brno University of Technology

Faculty of Informatics – Masaryk University

Charles University

Czech Technical University in Prague

Graz University of Technology

University of Žilina


No event found!

Related Projects

TitleSummaryResearch AreaUniversitieshf:tax:research_area
QUBIP –  Quantum-oriented Update to Browsers and Infrastructures for the PQ TransitionThe exciting frontiers opened by the development of quantum computers (QC) come at the cost of breaking the foundations of …security-privacy-cryptography
AIDA – A holistic AI-Driven networking and processing framework for Industrial IoTAIDA aims to enable novel trustworthy data-driven real-time industrial IoT applications by building a holistic AI-driven Networking and Processing framework. Indeed, …, , , ai-ml cloud-ds hardware-and-the-os testing-and-ops
AERO: Accelerated EuRopean clOudSeveral European flagship projects have emerged towards European sovereignty in chip design and computing infrastructure. Among them, the EU Processor …, , , hardware-and-the-os
CODECO: Cognitive Decentralised Edge Cloud OrchestrationThe overall aim of CODECO is to contribute to a smoother and more flexible support of services across the Edge-Cloud …cloud-ds
CHESS: Cyber-security Excellence Hub in Estonia and South MoraviaThe Cyber-security Excellence Hub in Estonia and South Moravia (CHESS) brings together leading R&I institutions in both regions to build …, security-privacy-cryptography
INCODE: Programming Platform for Intelligent Collaborative Deployments over Heterogeneous Edge-IoT EnvironmentsThe emergence of cloud-computing, coupled with the shift of processing intelligence towards the very network edge has lowered the bar …, , , cloud-ds
Security and safety of Linux systems in a BPF-powered hybrid user space/kernel worldWith the introduction of BPF into the Linux kernel, we are seeing a sea change in the traditional application model. With BPF it is now possible to execute parts of the application logic in kernel space, leading to a novel hybrid userspace/kernel model. This is an exciting development that brings with it many opportunities, but also some challenges especially in the area of security. We have recently seen an example of this around the “kernel lockdown” functionality in the kernel, which would disable BPF entirely in its “confidentiality” mode., hardware-and-the-os security-privacy-cryptography
ICOS: IoT2Cloud Operating SystemThe ICOS project aims at covering the set of challenges coming up when addressing this continuum paradigm, proposing an approach embedding a well-defined set of functionalities, ending up in the definition of an IoT2cloud Operating System (ICOS)., , , , ai-ml cloud-ds security-privacy-cryptography
StrIoT: functional stream processingStrIoT is a functional stream-processing system written in the Haskell programming language. The StrIoT library provides a set of stream-processing …cloud-ds
SnappyOS: Fault-Tolerant and Energy-Efficient Framework for HPC ApplicationsThis project aims to design, implement and evaluate a system to enhance the security and privacy of emerging satellite communications infrastructure using in-network computing and software-defined
PHYSICS: oPtimized HYbrid Space-time servIce Continuum in faaSJoin Red Hat Research for the next Research Days event, “PHYSICS EU Project: Advancing FaaS applications in the cloud continuum,” on November 16, 2022, …, ai-ml cloud-ds
Side-channel attacks on embedded devices and smartcardsThis project focuses on several aspects of side-channel attacks on embedded devices and smartcards, utilizing timing, power-analysis and other side-channels. …security-privacy-cryptography
Sec-certs: Mining issued Common Criteria and FIPS140-2 certificatesThe security certification reports might be long but is also a trove of publicly available data about otherwise proprietary devices …security-privacy-cryptography
Verifying constant-time cryptographic algorithm implementationsThe aim of this project is to verify the timing side-channel resistance of cryptographic implementations. The project focuses on the constant time (and constant memory access) generic cryptographic implementations of selected cryptographic algorithms. Tsecurity-privacy-cryptography
Trusted Computing EcosystemThe project aims to study the TPM ecosystem as currently exists in deployed devices and software applications using it, establish the types of chips and their properties one can encounter, investigate the state of patching of known vulnerabilities like ROCA against Infineon’s TPM (CVE-2017-15361) or TPMFail against Intel’s fTPM (CVE-2019-11090) and STM’s TPM (CVE-2019-16863) and analyze a reliability of stored integrity measurements (PCRs) for remote attestation and disk encryption
Accelerating Microarchitectural Security ResearchWe are working on processes and tooling to lower the barrier to entry into the field and accelerate attack research and mitigation across academia and
Authentication in public open-source repositoriesThis project focuses on user authentication in public repositories containing open-source projects, which are then used by commercial companies (e.g. Red Hat) as a source for their internally maintained
Perun: Lightweight Performance Version SystemPerun is an open source light-weight Performance Version System, which works as a wrapper over existing Version Control Systems and in parallel manages performance profiles corresponding to different versions of projects. Moreover, it offers a tool suite suitable for automation of the performance regression test runs, postprocessing of existing profiles or effective interpretation of the results.
DiffKemp: Automatic analysis of semantic differencesThe project aims at creating a tool for automatic analysis of differences in the code between versions of the Linux kernel. The goal is to determine whether the semantics (the effect) of some kernel option, function, or parameter, changed between two kernel versions
Vega ProjectThe Vega Project team at Red Hat came up with an idea to harness the power of Kubernetes to provide the next-generation open-source tool for high-performance computing. The project is way past the design phase, and the team is already working on the proof-of-concept implementation using Red Hat OpenShift Container Platform.
PatrIoT: Quality Assurance System for Internet of Things TechnologyThe main goal is to design, implement and verify a framework for quality assurance of products based on the Internet of Things concept. The aim of the framework is to help individual IoT projects to establish an efficient testing and verification strategy of the infrastructure. The proposed framework is based on a model of the IoT infrastructure, composed of methodological part, driven by university team, and a technical part, mainly worked on by Red Hat engineers.testing-and-ops
AUFOVER: The Automation of Formal VerificationThe goal of the Automation of Formal Verification (AUFOVER) project is to develop automated formal verification tools and integrate them for industrial use. The tools to be developed or improved within the projects are Verification Server, Verification Server Client Application, csmock plug-ins, DIVINE, Symbiotic and Testos. The purpose of the grant is to finish the development of university tools based on formal mathematical methods and their transfer to a commercial environment, including integration with industrial partners’ tools and incorporation of these tools into the commercial processes for software verification., testing-and-ops
Avocado ProjectThe goal of the Avocado project, as a generic test automation framework, is to provide a solid foundation for software projects to build their testing needs on. With Avocado, common testing problems are solved at the framework level, and developers can spend more of their time writing tests that, by default, will adhere to best practices., testing-and-ops