• Mass Open Cloud
  • Explore Research
    • Projects
    • People
    • Partnerships
    • Publications
  • News and events
    • News
    • Events
    • Research Days
  • Blog
  • Magazine

When one plus one makes more than two: how open source builds a bridge between universities and industry

Research Director and RIG leader for Israel Idan Levi speaks with Anat Bremler-Barr, Professor in the School of Computer Science and Vice Dean of the Efi Arazi School of Computer Science at the Interdisciplinary Center, Herzliya, Israel (IDC).

Verifying programs that communicate with the environment

Writing tests with high coverage is almost always tedious work that is still error prone. This can lead to missing crucial details that cause undesirable behavior, and, in the worst case, a complete system failure. What if there were an efficient way to automate this work?

Translation layers for the cloud: speeding storage performance

A guide to understanding the hidden algorithms that manage the data in our everyday world, from smartphones to cloud apps. We look at which ones perform faster—and why.

Combining experience with passion inspires a new mentorship program

The Office of the CTO is promoting open source development concepts among teenagers, the military, and the academic world in Israel. Here’s how two engineers helped realize that goal.

Research project updates—May 2021

Here are a few highlights of recent research results from the US. There are many more active projects than we can cover here, so be sure to check research.redhat.com listings for additional projects.

« Older Entries
Next Entries »
  • All News
  • Europe
  • Greater New England
  • Boston University
  • Israel

LEARN

Research Areas

Masters’ Theses

Events

News

Magazine

ENGAGE

Suggest A Project

Work On A Project

Contact Us

Log In

ABOUT

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.

  • Follow
  • Follow
  • Follow
  • Follow
  • Follow

Copyright © 2025 Red Hat, Inc.

Privacy statement

Terms of use

All policies and guidelines