Rate My Professor Jeremy Siek

Jeremy Siek is a Professor of Computer Science in the Luddy School of Informatics, Computing, and Engineering at Indiana University Bloomington, where he also earned his Ph.D. in 2005. As Director of the Center for Programming Systems, he teaches courses in programming, programming languages, compilers, logic, and mathematics. Siek's research focuses on designing language features to support generic and high-performance software libraries and domain-specific languages. He pioneered gradual typing jointly with Walid Taha, enabling seamless mixing of static and dynamic type checking, with applications influencing TypeScript, PHP gradual typing, Flow, and MyPy. His work also encompasses compiler correctness through mechanized proofs, type safety, semantics, and recent advancements in gradual security and information flow types.

Siek co-authored the Boost Graph Library, a foundational C++ library for graph processing, and contributed to C++ concepts proposals. His publications have amassed over 7,100 citations according to Google Scholar. Select works include "The Boost Graph Library: User Guide and Reference Manual" (2001), "Gradual Typing for Functional Languages" (2006), "Gradual Typing for Objects" (2007), "Concepts: Linguistic Support for Generic Programming in C++" (2006), "Refined Criteria for Gradual Typing" (2015), "Design and Evaluation of Gradual Typing for Python" (2014), and "Quest Complete: the Holy Grail of Gradual Security" (PLDI 2024). He has authored textbooks such as "Essentials of Compilation" (Racket and Python versions), "Programming Language Foundations in Agda," and "The Boost Graph Library." Siek has obtained NSF funding, notably a nearly half-million-dollar grant in 2025 to develop efficient gradual security mechanisms for data privacy. He has mentored PhD students who now work at Meta, Microsoft, Google, NVIDIA, and academic positions at institutions like UMass Lowell.