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.