从地球物理学到软件可靠性的转型定义了莱斯·哈顿（Les Hatton）的职业轨迹，他是一位生于1948年的英国计算机科学家和数学者。他的职业生涯涵盖了对软件故障机制的基础研究，从复杂的物理模拟转向对商业嵌入式控制系统固有的漏洞以及语言特定编程风险的形式化研究。
早期学术培训
哈顿在剑桥大学国王学院开始其正规教育，于1967年至1970年求学于此。随后他进入曼彻斯特大学就读。他的研究生研究聚焦于两种不同的物理现象：他因对相对论等离子体中静电波的研究而获得理学硕士学位，并于1973年获得哲学博士学位。他的博士论文专门研究计算流体力学，具体探讨了龙卷风的物理学。
地球物理学与行业研究
在职业生涯的早期，哈顿专注于地球物理学。这一领域在近二十年的时间里一直是他主要的实践领域，并因其在计算方面的贡献赢得了高度认可。1987年，他荣获康拉德·斯伦贝谢奖（Conrad Schlumberger Award），该荣誉反映了他对计算地球物理学的影响。在其职业生涯的大部分时间里，他都在私营部门工作，特别曾与奥克伍德计算同仁公司（Oakwood Computing Associates）合作。
演进至软件法证工程
在20世纪90年代初，哈顿将研究重点转向了系统和软件故障的分析。他的著述包括四本书以及100多篇同行评审的期刊论文。值得注意的是，他撰写了《Safer C》一书，主张在商业嵌入式控制系统中采用更安全的语言子集。他的研究曾发表在《自然》、《IEEE计算机》、《IEEE软件》、《IEEE软件工程汇刊》以及《IEEE计算科学与工程》等刊物上。在1997年至2001年期间，《系统与软件杂志》认定他是其领域内的领先学者。
当前的学术与研究兴趣
哈顿担任伦敦金斯顿大学软件法证工程教授。他近期的学术成果表明，其兴趣不仅限于软件安全性，还广泛涵盖了标枪空气动力学以及对手机充电系统中观察到的非自然复杂性的研究。此外，他还开发了新颖的文献检索算法，旨在识别缺陷数据库中非结构化文本内的模式。
快速事实
- 出生：1948年 - 国籍：英国 - 教育背景：剑桥大学国王学院、曼彻斯特大学 - 博士年份：1973年 - 主要奖项：1987年康拉德·斯伦贝谢奖 - 当前职务：金斯顿大学软件法证工程教授
读者常见问题
### 哈顿法证软件工作的主要焦点是什么？
他专注于分析软件控制系统中的故障和漏洞。
### 他的博士研究主题是什么？
他1973年的博士研究专注于应用于龙卷风的计算流体力学。
.jpg)
