Brno, Czech Republic, is home to the world’s largest Red Hat technology center, and it was the birthplace of the university-industry relationship model that became Red Hat Research. Here’s how the smart city concept has been implemented in one of our hometowns. The...
An open source powered smart village project underway at the Red Hat Collaboratory may have the potential to change the world—or at least a town near you. For as long as I can remember—and after almost 40 years in the IT industry, that’s quite a while now—every year...
Could a grammarless approach increase its effectiveness? Low-level systems such as Linux kernels and hypervisors form the foundation of cloud systems today. The virtual machines (VMs) provided by hypervisors are attractive targets for attackers. Bugs in hypervisors...
While research on formal verification continues, fully automatic dynamic analysis of RPM packages is now available for Fedora users. In 2019, Red Hat joined the AUFOVER (Automation of Formal Verification) project, which focused on fully automatic detection of bugs in...
Successful industry-academia relationships don’t just happen. Here’s what it takes to start a collaboration and make it work. As a research supervisor, one of my most important tasks is finding a good fit between engineers with a problem and academicians...
