基本信息
浏览量:180
职业迁徙
个人简介
Jeremy Siek is an Associate Professor of Computer Science in the School of Informatics and Computing at Indiana University. Jeremy teaches courses in programming, programming languages, compilers, logic, and other areas of computer science. Jeremy designs new language features to help programmers create and use software libraries and domain-specific languages, especially generic and high-performance ones. In particular, Jeremy invented the gradual typing approach to mixing static and dynamic type checking within the same language. Prior to that, Jeremy authored the Boost Graph Library and attempted to add concepts to C++. Jeremy is a member of the Programming Languages Group at IU and the Center for Research in Extreme Scale Technologies (CREST).
Interests Research in language design and implementation to improve support for software libraries and domain
specific languages, including research in type systems, program logics, facilities for program
generation, and high-level program optimization.
Education Indiana University Ph.D. Computer Science. 2005.
A Language for Generic Programming.
Advisor: Andrew Lumsdaine.
University of Notre Dame M.S. Computer Science and Engineering 1999.
A Modern Framework for Portable High Performance Numerical Linear Algebra.
Advisor: Andrew Lumsdaine.
University of Notre Dame B.S. Mathematics 1997.
Experience University of Colorado at Boulder 2007–present
Assistant Professor Boulder, CO
Researching programming language support for generic programming, metaprogramming, and the
integration of static and dynamic type systems through gradual typing. Developing an optimizing
compiler for MATLAB. Teaching courses on compilers, type systems, and generic programming.
University of Colorado at Boulder 2006–2007
Visiting Assistant Professor Boulder, CO
Extended gradual typing to object-oriented languages and wrote a prototype of an optimizing compiler
for MATLAB. Taught courses on object-oriented design and practical theorem proving with
the Isabelle system.
LogicBlox 2006–2007
Research Scientist Atlanta, GA
Researched programming languages and run-time systems for deductive databases, in particular,
extending Datalog with an advanced type system and support for program generation.
Rice University 2005–2006
Post-doctoral Research Associate Houston, TX
Worked on language support for program generation with Walid Taha. I developed a formal semantics
for C++ templates and integrated the MetaOCaml programming language with the Coq theorem
prover. Also developing a type system that provides a gradual transition between dynamic and static
typing.
Indiana University 2000–2005
Research Assistant Bloomington, IN
Worked in the Open System Laboratory directed by Andrew Lumsdaine on programming language
support for generic programming and developed generic software libraries such as the Boost Graph
Library.
Interests Research in language design and implementation to improve support for software libraries and domain
specific languages, including research in type systems, program logics, facilities for program
generation, and high-level program optimization.
Education Indiana University Ph.D. Computer Science. 2005.
A Language for Generic Programming.
Advisor: Andrew Lumsdaine.
University of Notre Dame M.S. Computer Science and Engineering 1999.
A Modern Framework for Portable High Performance Numerical Linear Algebra.
Advisor: Andrew Lumsdaine.
University of Notre Dame B.S. Mathematics 1997.
Experience University of Colorado at Boulder 2007–present
Assistant Professor Boulder, CO
Researching programming language support for generic programming, metaprogramming, and the
integration of static and dynamic type systems through gradual typing. Developing an optimizing
compiler for MATLAB. Teaching courses on compilers, type systems, and generic programming.
University of Colorado at Boulder 2006–2007
Visiting Assistant Professor Boulder, CO
Extended gradual typing to object-oriented languages and wrote a prototype of an optimizing compiler
for MATLAB. Taught courses on object-oriented design and practical theorem proving with
the Isabelle system.
LogicBlox 2006–2007
Research Scientist Atlanta, GA
Researched programming languages and run-time systems for deductive databases, in particular,
extending Datalog with an advanced type system and support for program generation.
Rice University 2005–2006
Post-doctoral Research Associate Houston, TX
Worked on language support for program generation with Walid Taha. I developed a formal semantics
for C++ templates and integrated the MetaOCaml programming language with the Coq theorem
prover. Also developing a type system that provides a gradual transition between dynamic and static
typing.
Indiana University 2000–2005
Research Assistant Bloomington, IN
Worked in the Open System Laboratory directed by Andrew Lumsdaine on programming language
support for generic programming and developed generic software libraries such as the Boost Graph
Library.
研究兴趣
论文共 180 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
CALCOpp.4:1-4:1, (2023)
引用0浏览0EI引用
0
0
JOURNAL OF FUNCTIONAL PROGRAMMINGno. 1 (2021): e20-e20
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn