【预告】网络研讨会｜下一代汽车操作系统微内核seL4：seL4基金会主席谈物理系统安全工程实践

seL4 微内核是世界上第一个具有实现正确性和安全执行的数学、机器检查证明的操作系统 (OS) 内核。它在Arm和RISC-V处理器上的全面证明仍然是独一无二的。它也是开源的、免费使用的性能基准，并得到中立的、非营利的 seL4 基金会的支持。多年前，它已在军用自主空中和地面车辆中得到证明，现在正被设计用于自动驾驶汽车、医疗设备、物联网系统和关键基础设施。 

目前，包括鉴释在内，已有多家自动驾驶、芯片等独角兽企业加入seL4基金会，例如理想、蔚来、莲花汽车、地平线等，共同推动seL4微内核的发展。

（查看更多seL4基金会成员：

http://sel4.systems/Foundation/Membership/）

本次研讨会，我们很荣幸的邀请到

seL4基金会主席

悉尼新南威尔士大学教授

Gernot Heiser

跟大家分享他的见解和研究成果。

本次研讨会您将了解到：

1. seL4 基金会是什么？
2. seL4 的验证故事及其实际应用的意义
3. seL4的开源生态系统是什么？
4. Gernot Heiser教授在悉尼新