Jeremy G Siek
Summary
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. Jeremy invented the gradual typing approach to mixing static and dynamic type checking within the same language. Jeremy authored the Boost Graph Library and attempted to add concepts to C++.
Distributed & Parallel Computing Programming Languages Theory & Formal Methods