跳到内容 跳到导航

克拉克巴雷特

克拉克巴雷特

博士,手机赌博赌场,计算机科学(2003)

联系

电话: 
(650)736-0822
电子邮件: 

克拉克巴雷特之前,9月2016年加入手机赌博赌场计算机科学系的副教授(研究),他是计算机科学在纽约大学数学科学Courant研究所副教授。他的专长是在约束求解及其应用系统验证和安全性。他的博士论文介绍了一种新的方法来约束求解现在被称为满足性模理论(SMT)。今天,他被公认为是世界上在开发和SMT技术的应用专家之一。他也正式硬件验证的发展中的早期先驱:在英特尔,他合作了用来验证钥匙微处理机特性的新型定理证明;在0-In设计自动化(现为Mentor Graphics公司的一部分),他帮助建立了第一个工业成功的基于断言的验证工具集硬件之一。他是ACM杰出的科学家。