# Riverside Research joins the seL4 Foundation

**URL:** <https://sel4.discourse.group/t/riverside-research-joins-the-sel4-foundation/1028>\
**Category:** Uncategorized\
**Created:** [January 18, 2026, 11:13pm UTC](https://sel4.discourse.group/t/riverside-research-joins-the-sel4-foundation/1028 "2026-01-18T23:13:29Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![bbrcknl](https://avatars.discourse-cdn.com/v4/letter/b/a183cd/32.png) [@bbrcknl](https://sel4.discourse.group/u/bbrcknl)\
**Post date:** [January 18, 2026, 11:13pm UTC](https://sel4.discourse.group/t/riverside-research-joins-the-sel4-foundation/1028/1 "2026-01-18T23:13:29Z")

</div>

The **[seL4 Foundation](https://sel4.systems/Foundation/)** is pleased to welcome **[Riverside Research](https://www.riversideresearch.org/)** as an **[Associate Member](https://sel4.systems/Foundation/Membership)**.

Riverside Research acquired Cog Systems, a founding member of the seL4 Foundation in 2025 and continues their work using seL4 within High Assurance systems. Riverside Research is a national security nonprofit serving the DOD and Intelligence Community. Through the company’s Open Innovation Center (OIC), it invests in multidisciplinary research and development and encourages collaboration. Riverside Research’s areas of expertise include Object and Activity Detection; Accelerated AI/ML; Zero Trust; Open Architectures; Computational Electromagnetics; Plasma Physics; Precision Timing; Terahertz Imaging; Commercial Intelligence, Surveillance, and Reconnaissance (ISR); Collection Planning; and more. Learn more at **[www.riversideresearch.org](https://www.riversideresearch.org/)**.

 ![riverside-research](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/ca6b633d4a9a03264ae1666637b09d02dbd81b9b.png)

![sel4-foundation-logo](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/0552fd9659e1797069fa253ac2957515337b00a3.png)