新兴且日益流行的编程语言 Rust 被广泛用于开发操作系统、Web 浏览器和其他安全关键型应用程序，从小型创业公司到全球最大的科技企业，都离不开它。Ralf Jung 的博士论文为使用 Rust 编写安全系统奠定了首个形式化基础，并因此荣获多项国际知名奖项。Ralf

Jung 是萨尔布吕肯马克斯·普朗克软件系统研究所 Derek Dreyer 教授“编程基础”研究小组的博士后研究员。自 2015 年以来，Jung 一直专注于这门最初由 Mozilla 赞助的编程语言：“Rust 让我兴奋不已，因为它拥有非常诱人的未来：它是一种能够精确控制系统内存使用和资源分配的编程语言，同时还能自动避免许多常见的编程错误。”Ralf Jung 说道。

Rust 语言的实际应用充分证明了其安全性承诺的重要性：尽管 Rust 的第一个稳定版本直到 2015 年才发布，但它已被微软、谷歌、亚马逊、Dropbox 和 Facebook 等众多大型科技公司广泛采用。如今，Ralf Jung 在他的博士论文中首次正式证明了 Rust 的安全性承诺确实得以实现。

“我们已经验证了 Rust 类型系统的安全性，并由此展示了 Rust 如何自动且可靠地避免各类编程错误，”Ralf Jung 说道。在此过程中，他还成功地解决了该编程语言的一个特殊问题：“所谓的‘类型安全’与 Rust 对程序员的限制密不可分，Rust 不会允许程序员做任何事情。然而，有时我们需要在代码中编写一些由于 Rust 的类型安全机制而无法被接受的操作，”这位计算机科学家继续说道。 “Rust 的一个特殊特性正是在这里发挥作用：程序员可以将代码标记为‘不安全’，以实现与该编程语言安全措施相悖的功能。我与包括我的论文导师 Derek Dreyer 在内的国际合作者共同开发了一个理论框架，该框架能够证明，即使存在编写‘不安全’代码的可能性，Rust 的安全声明仍然成立。”Jung 说道。

这项名为 RustBelt 的测试工具与名为 Miri 的工具相辅相成，后者可以自动验证“不安全”的 Rust 代码是否符合 Rust 规范的重要规则——这是代码正确性和安全性的基本要求。“RustBelt 非常成功，尤其是在学术界，而 Miri 已在业界确立了其作为 Rust 程序安全测试工具的地位。”Ralf Jung 解释道。Ralf

Jung 凭借其题为《理解和演化 Rust 编程语言》的博士论文荣获多项国内和国际奖项。 Jung 的论文荣获美国计算机协会 (ACM) 博士论文奖两项荣誉提名之一。ACM 指出：“Jung 在 Rust 不安全代码指南工作组中发挥领导作用并积极参与其中，他的工作已经对 Rust 的设计产生了深远的影响，并为其未来发展奠定了重要的基础。” ACM 博士论文奖面向整个计算机科学领域，是全球计算机科学博士论文领域最负盛名的奖项之一。他

还获得了欧洲软件理论与实践联合会议 (ETAPS) 颁发的博士论文奖，这是欧洲软件科学领域最重要的奖项之一。此外，他还获得了马克斯·普朗克学会颁发的奥托·哈恩奖章，该奖章每年颁发给在博士论文方面取得杰出科学成就的学者。

更多信息