I E

About Me

My name’s Isaac. I currently work in the Queensland Functional Programming Lab at Data61 / CSIRO. I’m particularly interested in programming language theory, functional programming, and theorem proving.