卢卡·卡代利：远见卓识的计算机科学家 | AI生成和翻译
卢卡·卡德利是一位杰出的意大利计算机科学家，以其在计算机科学多个领域的创新性贡献而广受认可，特别是在编程语言与并发理论领域，近年来更涉足可编程生物学与纳米技术领域。
卡德利出生于意大利蒙特卡蒂尼泰尔梅附近，先后在比萨大学获得硕士学位，并于1982年在爱丁堡大学获得计算机科学博士学位。
他的职业生涯涵盖多家知名研究机构的重要职位：
- 贝尔实验室（默里山）（1982-1985）
- 数字设备公司（DEC）帕洛阿尔托系统研究中心（1985-1997）
- 微软研究院（英国剑桥）（1997-2018），期间领导编程原理与工具组及安全组
- 牛津大学（2013年至今），担任皇家学会研究教授
卡德利的研究具有显著的广度与深度，主要涵盖：
- 编程语言：作为类型理论与操作语义学的领军人物，他与马丁·阿巴迪合著的《对象理论》为现代编程语言奠定理论基础。他参与设计Modula-3语言，实现首个ML编译器，并设计了Obliq、Polyphonic C#等实验性语言。其1985年与彼得·韦格纳合著的论文《论类型、数据抽象与多态性》被广泛引用。
- 并发理论：通过创立环境演算与空间逻辑，为分析全局计算和移动计算构建形式化框架，该成果对分布式系统与万维网具有重要意义。
- 系统生物学与分子编程：近年来卡德利转向运用计算技术构建生物系统模型，专注于DNA计算、分子编程与定量语义学等领域，包括设计DNA电路编程语言与分析生化反应网络。
卢卡·卡德利获得的重大荣誉包括：
- 英国皇家学会会士（2005）
- 国际计算机学会会士（2004）
- 欧洲科学院院士
- 国际对象技术协会理事
- 达尔-尼加德奖（2007）
- 编程语言成就奖（2015）
他已发表逾百篇学术论文及一部专著，并曾担任POPL（编程语言原理）、ECOOP（面向对象编程）、DNA（DNA计算与分子编程）等重要国际会议的主席或论文集编辑。