![](https://secure.gravatar.com/avatar/96d1d7bba24df545b52cd845d16c75be.jpg?s=120&d=mm&r=g)
7 Jul
2021
7 Jul
'21
2:31 p.m.
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