Jeremy's research interests include generic programming, programming
language design, type systems, logic, compilation, and
high-performance computing. Jeremy created the gradual typing approach
to mixing static and dynamic typing and he was one of the architects
of the concepts
feature in the next C++ standard. Jeremy authored the Boost
Graph Library and several other libraries in Boost.