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).
I'm particularly interested in 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.
snippets