信息
计算机科学
库尔特工程学院 & 应用科学
自动推理:这有时也被称为自动推理或自动定理证明. 该领域的一个主要兴趣是使用这些系统来验证是否满足某些规范, 特别是硬件或软件规范. 这对于防止bug非常有用,就像奔腾芯片发生的那样. 我在这个领域的主要贡献是对现有的算法进行修改,使它们更有效, 同时开发基于新技术的新算法. 事实上,我对开发高效的算法很感兴趣.
办公室电话: 315/268-2334
办公地点: 377科学中心
esball国际平台客户端箱号: 铜箱5815