[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