The seL4 Foundation thanks NIO for becoming our first Gold sponsor of the seL4 Summit 2023.
NIO is a global EV company funded in 2015 and that went public in the U.S. in 2018. NIO emphasizes user experience and technology innovation. NIO is a strong supporter of seL4 and a premium member of the seL4 Foundation. It has been investing heavily on building a full-fledge software platform for modern vehicles based on seL4.
https://sel4.systems/Foundation/Summit/2023/
https://sel4.systems/news/2023#sponsor23-nio
If you are interested in sponsoring the seL4 summit 2023, follow: