Connecting researchers, students, and engineers is the most important part of our mission at Red Hat Research. Here’s a partial list of the folks we work with—click through for the projects and papers that have resulted.
Tomas Cerny is a Professor of Computer Science at Baylor University. He leads the cloudhubs research team, who looks to various projects in software engineering, code analysis, security, enterprise
application design, and quality assurance.
Tomáš Effenberger is a Ph.D. candidate in Computer Science at Masaryk University where he also received his master’s degree. After research internships at the University of Oxford and Google AI, he became a member of the Adaptive Learning group at Masaryk Universit
Clement Escoffier is a senior principal software engineer at Red Hat. He is a Java Champion and is leading the reactive effort at Red Hat. Before joining Red Hat, Clement had several professional lives, from academic positions to management.
neer at Red Hat working with networking and performance in general in telco 5G. neer at Red Hat working with networking and performance in general in telco 5G. She completed her PhD in computer science on the topic of improving multipath transport robustness with MPTCP in use cases ranging from 5G to the Internet. She also holds an adjunct senior lecturer position at Karlstad university, where she researches in the areas of network and system performance.She also holds an adjunct senior lecturer position at Karlstad university, where she researches in the areas of network and system performance.
Eddie Fisher is a recognized international project management subject matter expert who has been managing people as both line and project manager over the last 35 years. He is a subject matter expert on the people side of management (attitude, behaviour and competence) and strategic business management.
George Kousiouris is an Assistant Professor at the Department of Informatics and Telematics of Harokopio University of Athens. He received his Dipl. Eng. in Electrical and Computer Engineering from the University of Patras, Greece in 2005 and his Ph.D. in Cloud Computing at the Telecommunications Laboratory of the Dept. of Electrical and Computer Engineering of the National Technical University of Athens in 2012.
Yiannis Georgiou is the CTO at Ryax Technologies where he is responsible for the R&D activities and the collaborative projects, while overlooking the architecture and developments of the company’s products and solutions. His current R&D interests are around Cloud and Edge Computing, Serverless and Scheduling.
Jan Jancar is a PhD student at the Centre for Research on Cryptography and Security (CRoCS) at Masaryk University in Brno working on side-channel attacks, elliptic curve cryptography and security of cryptographic implementations.
Janos Bonic is a Principal Software Engineer at Red Hat and founder of ContainerSSH. Together with his wife, he's writing papers and researching several topics around infrastructure and visual deep learning.
Software Engineer at Red Hat working with the Telco 5G performance/scale team. During his MsC and PhD studies, worked on QoS routing in SDN and NFV Management and Orchestration. Has been teaching postgraduate courses for the last 6 years.
Agata focuses on authentication from the usable security point of view. She is mostly interested in the user perception of two-factor authentication and factors influencing this perception (and potential adoption of it).
The focus of Henrich's research is on analysis and verification of C/C++ programs. Currently, he is mostly interested in the efficient representation of program inputs (nondeterministic data) for the verification.
Frédéric Le Mouël is currently Full Professor in the National Institute for Applied Sciences of Lyon (INSA Lyon, France), Telecommunications Department - a leading engineering school in France, part of the University of Lyon. He is heading the Center for Innovation in Telecommunication and Integration of Services (INSA/Inria CITI Lab.), where he is leading the Dynamic Software and Distributed Systems for the Internet of Things research group (DynaMid Team).France, part of the University of Lyon. He is heading the Center for Innovation in Telecommunication and Integration of Services (INSA/Inria CITI Lab.), where he is leading the Dynamic Software and Distributed Systems for the Internet of Things research group (DynaMid Team).
Moritz Lipp is a University Assistant and PhD candidate at Graz University of Technology. His research focuses on microarchitectural attacks. He was involved in the discovery of many vulnerabilities including Meltdown, Spectre, ZombieLoad, LVI, Medusa, and Platypus
Professor of Scalable Data Analytics, School of Computing at Newcastle University and Fellow (2018-2022) of the Alan Turing Institute, UK's National Institute for Data Science and Artificial Intelligence.
Jiří is a PhD student at Brno University of Technology, Faculty of Information Technology working under the supervision of Prof. Tomáš Vojnar and Assoc. Prof. Adam Rogalewicz as part of the VeriFIT research group.
Radek Pelánek received his Ph.D. degree in Computer Science from Masaryk University for his work on formal verification. Since 2010 his research interests focus on areas of educational data mining and artificial intelligence in education
Anna Řechtáčková is a Master's student at Faculty of Informatics, Masaryk University. After working on a project in static analysis for formal verification, she moved on to working on a Python linter EduLint designed to help beginning programmers learn better coding style.
Martin is a PhD student in the CoreSec group of Daniel Gruss at the IAIK at Graz University of Technology. His main research interest is system security in the field of microarchitectural security with a focus on remote attacks.
Aleš Smrčka is an assistant professor at Brno University of Technology. He received his PhD in the field of formal verification of hardware designs, in which he continued on research of formal verification of pipelined processors.
Vladimír Štill is a PhD candidate at the Faculty of Informatics, Masaryk University in Brno. His research topic is the correctness analysis of parallel programs written in C and C++. His work includes finding new analysis techniques and their implementation in the DIVINE tool.
Simon Sundberg is a PhD student in computer science at Karlstad University. He received his master's in computer engineering at Karlstad University in 2019, and worked as a project assistant at the university on research projects with industrial collaborations until he started his PhD education in 2020.
Muhammad Usman is currently working as an Associate Senior Lecturer with the Department of Mathematics and Computer Science, Karlstad University, Sweden. His research interests include edge computing, distributed systems measurements and performance observability, and data processing and visualizations.
Ondřej Žižlavský is a Czech Expert specialized in management control and performance measurement systems with particular emphasis on the concept of innovation projects. He has conducted research projects in the Czech Republic supported by the Czech Science Foundation, Czech Technology Agency of the Czech Republic as well as many research short-term projects under the auspices of Brno University of Technology.
Red Hat Research connects Red Hat engineers with professors, researchers, and students to bring great research ideas into open source communities. Our activities around the world have produced grants from government and industry, papers at top conferences, and results that have landed in open source projects of all kinds. Red Hat Research welcomes participation from research-minded individuals around the world.