[seL4 Announce] [seL4] Meet the Program Committee of the seL4 summit 2023

Meet the Program Committee of the seL4 summit 2023

We are thrilled to announce our program committee for the seL4 Summit 2023 [0]. Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers [1].

[0] https://sel4.systems/Foundation/Summit/2023/ [1] https://sel4.systems/news/2023

---

Dr. Birgit Brecknell

Project Officer

Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au

seL4 Foundation, birgit@sel4.systemsmailto:birgit@sel4.systems

0433 880 571

Mon 9am-5pm

Wed 9am-12pm

Fri 9am-5pm