Rate My Professor Jeremy Siek

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.