Jeremy Siek

Jeremy Siek is a Professor of Computer Science in the School of Informatics and Computing at Indiana University. 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. In particular, with Walid Taha, Jeremy invented the gradual typing approach to mixing static and dynamic type checking within the same language. Prior to that, Jeremy co-authored the Boost Graph Library and attempted to add concepts to C++. Jeremy is a member of the Center for Programming Systems at IU.

Email: jsiek@iu.edu, Office: Luddy Hall 3016, Blog, github, CV, Mastadon: @jeremysiek@types.pl, Blue Sky: jeremysiek.bsky.social, google scholar

Deduce Proof Assistant

The Deduce proof assistant is an educational tool that helps students to develop correct code. You can read about it on the web page for Deduce and from a series of blog posts that I have been writing.

Phishing Scam: Research Assistant Position

There is an ongoing email phishing scam that is using my name. If you receive an email offering you a job without first meeting with me in person, please report it to phishing@iu.edu. Please do not send me email to check whether it is legitimate. Thank you.

Books

Technology Transfer

I’ve been fortunate to see some of my ideas get used in the software industry:

Recent Papers and Talks

Classic Papers (in chronological order)

The full list is available on Google Scholar and DBLP.

Teaching

Students

Alumni