Projects

Here you can find a few of my projects. This is still a work in progress!

Verifying Effectful Haskell Programs in Coq - DAAD Rise Germany - November 1, 2019
Presence Monitoring System - February 2, 2019
Bear Upgrade for the Prusa i3 MK2.5 - December 28, 2018
Baking Bread with a 3D Printer - March 30, 2018