Blog
PhD interns at Red Hat Research’s partner universities play a pivotal role in bringing together the cutting-edge thinking of research institutions with the real-world expertise of industry. The PhD program enables long-term research partnerships that provide greater...
Blog
By Joel Savitz The operating system is at the center of open source innovation, but a surprising number of college students lack exposure to this domain and, in particular, lack comfort with the Linux kernel. As a result, there’s an industry-wide shortage of qualified...
News
Red Hat Research’s Dr. Daniel Bristot de Oliveira continues to deliver practical improvements to the Linux kernel, this time with the addition of the Runtime Verification subsystem to the Linux kernel 6.0. Daniel has been exploring methods to improve the...
News
Over the last decade, Red Hat Research’s Dr. Daniel Bristot de Oliveira has been exploring methods to improve the analysis of the real-time properties of Linux. His research explores the tracing features of Linux to derive fine-grained properties of the kernel,...
