With four new Premium Members joining the seL4 Foundation during the past few weeks, we now welcome their representatives on the seL4 Board. The new Board Members are:
Dr. Feng Zhou representing Horizon Robotics
Ian Xu representing Li Auto
Dr Matthew P. Grosvenor representing Jump Trading
Qiyan Wang represents NIO
More at https://sel4.systems/news.pml.html
For the complete seL4 Board see https://sel4.systems/Foundation/Board.html
Welcome aboard, Feng, Ian, Matt and Qiyan!
Gernot