profile

Jeremy Siek is a Professor of Computer Science. Jeremy teaches courses in programming, compilers, the theory of programming languages, 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 the director of the Center for Programming Systems.