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