Hi, I'm Michael. I'm a software engineer with a soft spot for Haskell.

I'm currently working as a Haskell Developer at IOHK, contributing to the Cardano blockchain system, specificially the ledger.

Prior to that, I spent 2 years at Galois building applied research prototypes.

And before that, I studied Computer Science at Northwestern University, specializing in programming language theory & functional programming.

GitHub | Twitter | Keybase | LinkedIn | About