Red Hat Research Quarterly
Highlights from this issue
Open source cybersecurity and the next generation of computer scientists
Václav Matyáš, Professor with the Centre for Research on Cryptography and Security at the Faculty of Informatics at Masaryk University.
A thread model for the real-time Linux kernel
Finding bugs in parallel programs with heavy-duty program analysis
Red Hat Research Quarterly
Highlights from this issue
Open source cybersecurity and the next generation of computer scientists
Václav Matyáš, Professor with the Centre for Research on Cryptography and Security at the Faculty of Informatics at Masaryk University.
A thread model for the real-time Linux kernel
Finding bugs in parallel programs with heavy-duty program analysis
Volume 2, Issue 3 • ISSN 2691-5278
Departments
Features
Inside this issue
It is by now well understood that we humans are capable of creating systems that are more complex than we can understand.
Thoughts on open source and open collaboration from the Greater Boston Research Interest Group (RIG).
Research at Devconf.us: Optimizing and automating the foundations of computing.
Since the inception of artificial intelligence research, computer scientists have aimed to devise machines that think and learn like human beings. What else could AI do?
Parallelism promises to make programs faster, yet it also opens many new pitfalls and makes testing programs much harder.
To design effectively for our users, we need to learn more about them. If we don’t, we may make a product that our users can’t be efficient in, or worse, a product that our users have no need for in the first place.
Václav Matyáš, Professor with the Centre for Research on Cryptography and Security at the Faculty of Informatics at Masaryk University.
The recent advances in AI and telecommunications are enabling a new set of complex cyber-physical systems, including those for safety-critical applications.
Faculty, PhD students, and US Red Hat associates in Israel are collaborating actively on the following research projects. This quarter we highlight collaborative projects at Technion University, Tel Aviv University, and The Interdisciplinary Center Herzliya. We will highlight research collaborations from other parts of the world in future editions of the Research Quarterly. Contact academic@redhat.com for more information on any project described here.