Red Hat Research Quarterly Issue 2:4

February 2021 issue features:

  • An interview with one of Boston University’s AI faculty, Kate Saenko who dives into her work on biased data sets.
  • Sequential Monte Carlo for streaming 
  • Efficient runtime verification for the Linux kernel
  • Using blocks, microworlds, puzzles, and adaptivity to teach kids programming effectively
  • PyLadies: Establishing a Python training program for women.
  • …and more
Cover of Research Quarterly 2:4 with Kate Saenko


04  From the director

05  News: Devconf.CZ 2021 and Research Days 2020

08  When good models go bad: an interview with Kate Saenko

14  Sequential Monte Carlo for streaming data

19  Blocks, microworlds, puzzles, and adaptivity: teaching programming effectively

23  Efficient runtime verification for the Linux kernel

28  Changing the world, one lesson at a time

32  PyLadies, welcome to open source!

38  Research project updates

36  Column: Tel Aviv RIG leader Idan Levi

Bringing great research ideas into open source communities

Red Hat Research Quarterly provides insights into the range of activities that bring universities, government organizations, industry partners together to share outcomes with open source communities. Here you’ll find articles on the latest research topics we are exploring together, views into the approaches and people behind that research, and examples of the impact that combining education with an open source perspective can have.

Every quarter, we detail the latest projects we’re working on, and interview a leader in open source code and cutting edge research.

Download Red Hat Research Quarterly in digital form in or get the printed version delivered to your mailbox. Subscribe now and keep up-to-date with the latest research topics completely free.



Sign up for a complimentary subscription to Red Hat Research Quarterly