Gernot is the Founder of the Trustworthy Systems Research Group (TS), which created seL4. He is Scientia Professor and John Lions Chair of Operating Systems at UNSW Sydney, where he has been teaching operating systems and leading research on L4 microkernels for more than 30 years. Besides that, his focus is on transferring TS technology to the real world. He was the founder and CTO of Open Kernel Labs. Gernot holds a PhD from ETH Zurich and is a Fellow of the ACM, the IEEE, the Australian Academy of Technology, Engineering (ATSE), the Royal Society of New South Wales (RSN) and a Member of the German Academy of Sciences Leopoldina . Jointly with June and Gerwin he won the ACM SIGOPS Hall-of-Fame award in 2019 and the ACM Software System Award in 2022.

June Andronick is CEO and co-founder of Proofcraft, a company providing commercial support for software verification in general and the seL4 microkernel verification in particular. She is CEO and treasurer of the seL4 Foundation and member of the Technical Steering Committee. June has extensive leadership experience towards making the vision of verified software a reality in mainstream critical software. She was previously leading the Trustworthy Systems group, and contributed to the original seL4 verification.

Dr. David Hardin is an Associate Director, Systems Engineering at Collins Aerospace. Dr. Hardin has significant experience in the design and verification of high-assurance hardware, software, and systems, and is editor of the book Design and Verification of Microprocessor Systems for High-Assurance Applications. Dr. Hardin earned BS and MS degrees in Electrical Engineering from the University of Kentucky, and a Ph.D. in Electrical and Computer Engineering from Kansas State University. He is a proud native of the Commonwealth of Kentucky, and is a Kentucky Colonel.

Gerwin leads the formal verification of seL4 and is the chair of the Technical Steering Committee. He is also the Chief Scientist and a co-founder of Proofcraft. He holds a PhD from TU Munich and led the original seL4 proof, winning multiple awards together with the seL4 team, most recently the ACM Software System Award in 2022. He is an Adjunct Professor at UNSW Sydney.

Matthew is the representative of Premium Member Jump Trading, where he specializes on measurement and optimization of high-performance and low-latency network systems. He holds a doctorate in computer science from the University of Cambridge where his research work focused on techniques for managing and mitigating latency variance in hyper-scale datacenter networks. He is also a former member of the Trustworthy Systems research group. For his honors project, Matt worked on capability allocation/deallocation techniques using the seL4 capability system. Matthew maintains a strong interest in facilitating and performing research, particularly in the areas of high-performance, and high-assurance systems.

Qiyan is the representative of Premium Member NIO, where he leads a global R&D team responsible for Vehicle Operating System, Connected Vehicle Cloud, Vehicle Digital Architecture, Cyber Security, and Vehicle Software Integration and Validation. Prior to NIO, he worked as Principal Scientist at Symantec and Exabeam. He received his PhD in Computer Science from the University of Illinois at Urbana-Champaign with research focus on Distributed Systems and Cyber Security.