下载掌阅APP，畅读海量书库
立即打开
杰里米·G.希克
（Jeremy G. Siek）
印第安纳大学信息、计算与工程学院的计算机科学教授。他的主要研究方向为编程语言设计、类型系统、使用证明助手的机械化定理证明以及编译器优化。Jeremy曾出版 The Boost Graph Library ，还设计了C++的受限模板。他发明了渐变类型，这是一种在同一编程语言中整合动态类型和静态类型的类型系统。2009年，他获得美国科学基金会（NSF）教师早期职业发展奖，以资助其“弥合原型与生产之间的差距”项目；2010年和2015年，他获得苏格兰信息学与计算机科学联盟（SICSA）杰出访问学者奖学金。他是印第安纳大学编程系统中心的成员。