# Thank you Riverside Research, sponsor of the seL4 Summit 2025 reception **URL:** \ **Category:** Uncategorized\ **Created:** [August 6, 2025, 6:57am UTC](https://sel4.discourse.group/t/thank-you-riverside-research-sponsor-of-the-sel4-summit-2025-reception/1003 "2025-08-06T06:57:27Z")\ **Posts on this page:** 1\ **Page:** 1
**Author:** ![bbrcknl](https://avatars.discourse-cdn.com/v4/letter/b/a183cd/32.png) [@bbrcknl](https://sel4.discourse.group/u/bbrcknl)\ **Post date:** [August 6, 2025, 6:57am UTC](https://sel4.discourse.group/t/thank-you-riverside-research-sponsor-of-the-sel4-summit-2025-reception/1003/1 "2025-08-06T06:57:27Z")
The seL4 Foundation thanks **[Riverside Research](https://www.riversideresearch.org/)** for sponsoring the **[seL4 Summit 2025](https://sel4.systems/Summit/2025/)** reception. Riverside Research **[recently acquired](https://www.riversideresearch.org/insights/riverside-research-acquires-cog-systems-to-strengthen-cyber-resilience-and-secure-virtualization-capabilities)** Cog Systems, a **[Founding Member](https://sel4.systems/Foundation/Membership/)** of the **[seL4 Foundation](https://sel4.systems/Foundation)**. 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/)**. See **[here](https://events.linuxfoundation.org/sel4-summit/sponsor/)** if you are interested in sponsoring the **[seL4 Summit 2025](https://sel4.systems/Summit/2025/)**. ![RiversideResearchLogo-stacked-RGB](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/09d4566e8d475e70b88ccb0f5f76d5d0e619c93e.png) ![sel4_summit_2025](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/6d81388da7f33b21144410db0a5d8da71750f2bf.png)