John Lakos
大规模软件设计世界级权威，彭博CTO办公室高级架构师
John Lakos 是《Large-Scale C++ Software Design》（Addison-Wesley，1996）的作者，现任美国纽约彭博公司 CTO 办公室高级架构师，并在全球范围内担任 C++ 软件开发导师。他同时是 C++ 标准委员会演进工作组（Evolution Working Group）的活跃投票成员。 在加入彭博之前，Lakos 博士曾在贝尔斯登（Bear Stearns）负责专有金融分析应用的基础设施库的设计与开发。在此之前的 12 年，他在 Mentor Graphics 从事大型框架与高级 ICCAD 应用程序的开发工作，并拥有多项软件专利。 在学术方面，Lakos 博士拥有哥伦比亚大学计算机科学博士学位（1997）以及电气工程科学博士学位（1989）。他还在麻省理工学院获得数学（1982）和计算机科学（1981）本科学位。 他是《Large-Scale C++ — Volume I: Process and Architecture》（Addison-Wesley，2020）的作者，这是三部曲中的第一本；同时他也是《Embracing Modern C++ Safely》（Addison-Wesley，2021）的合著者，其他作者包括 Vittorio Romeo、Rostislav Khlebnikov 和 Alisdair Meredith。
演讲主题
* C++ 如何确保安全
C++ 编程语言作为工业软件开发的基石，近来在安全编程支持方面面临着越来越多的质疑。雪上加霜的是，各国政府和监管机构正在倡导企业采用内存安全语言，这进一步加大了 C++ 应对日益增长的安全担忧的压力，导致产业界信心动摇，并促使开发者转向探索其他替代语言。对此挑战的合理应对或许在于聚焦三大支柱：安全性（Safety）、健康度（Health）和效率（Efficiency），以此重振人们对 C++ 的热情与投入。 本演讲将从技术深度出发，阐述我们应对这些问题的战略方针，强调通过在 ISO C++ 标准中引入契约（Contracts）机制、错误行为管理（Erroneous Behavior）以及实现类 Rust 的可检查迁移（checked relocation），来增强语言的安全性（即正确性和保全性）的重要性。通过正面应对这些迫在眉睫的安全问题，我们旨在重建对 C++ 作为一门稳健可靠语言的信心，确保其持续的相关性和采用度。
