[seL4 Announce] University of Kansas joins seL4 Foundation

University of Kansas joins seL4 Foundation

The seL4 Foundation is pleased to welcome The University of Kansas [0] as Associate Member [1]. KU has collaborated with a number of seL4 Foundation members along the years, including in the DARPA CASE project, which produced a set of formal methods tools that can be applied throughout the design and build process to create seL4-based high-assurance cyber-resilient systems.

[0] https://ku.edu/ [1] https://sel4.systems/Foundation/Membership/

---

Birgit Brecknell

Project Coordinator, seL4 Foundation

birgit@sel4.systemsmailto:birgit@sel4.systems

birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au

Mon 9am-5pm

Wed 2pm-5pm

Fri 9am-5pm