第589章 入伙

“这关系到人命！不是靠海量的路测里程就能完全覆盖的。

我们需要在数学上，在逻辑层面，就给系统套上最坚固的安全枷锁。

离散数学中的逻辑学（LOgiC）和自动机理论（AUtOmata

TheOry），正是打造这把安全锁的基石。

一个精通形式化方法，能用数学语言为自动驾驶系统安全‘背书’的专家，其价值，我认为不亚于算法创新的专家。”

他看向顾南舟，眼神中带着强烈的期许和一丝审视的意味：“顾博士，你在形式化方法领域，可有涉猎？”

办公室内瞬间安静下来。

卞金鳞脸上的兴奋稍稍收敛，也凝重地看向顾南舟。

形式化验证，这是确保智能驾驶安全落地的终极保障之一，也是当前业界的超级难题。

顾南舟感到一股巨大的压力，但随之而来的是更强烈的兴奋和挑战欲！

他深吸一口气，迎着蒋雨宏和卞金鳞的目光，坦诚而清晰地回答：

“蒋总，卞总，形式化方法正是我博士期间重要的研究方向之一。

我主攻模型检测（MOdel

CheCking），尤其擅长用时序逻辑（LTL/CTL）刻画并发系统（如多线程程序）的安全与活性属性，并利用符号模型检测（SymbOliC

MOdel

CheCking）技术进行自动验证。

我的博士论文核心部分，就是针对

本章未完，请点击下一页继续阅读！ 第2页 / 共5页