home

Hi, I'm Michael. I'm a programmer who specializes in functional programming (particularly Haskell).

I'm currently taking a sabbatical and exploring how alternative computer-network architectures can facilitate richer forms of organizational structures and "group subjects" (where many ostensibly-separate agents act together as a single agential entity).

from late 2022 to mid-2024, I worked on Plunder as a prospective foundation on which to build distributed, alternative economic tooling.

From 2020 to late 2022, I worked on distributed reputation economic tooling for Neighbourhoods. My contributions focused on the interpreter for their reputation language and its integration with Holochain.

From 2018 to 2020, I worked as a Haskell Developer at IOHK, contributing to the Cardano blockchain system.

From 2014 to 2016, I worked at Galois, building applied research prototypes.

Before that, I studied Computer Science at Northwestern University, specializing in programming language theory & functional programming. I conducted a few research projects with Robby Findler.