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
TABLE OF CONTENTS
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.