My name’s Isaac. I used to work at PaidRight, where I helped design and implement systems that provide pay compliance insights to employers. Before that, I was part of the QFPL team at CSIRO’s Data61.
I’m particularly interested in programming language theory, functional programming, and formal verification.