My interests include functional programming, signal processing and digital hardware design.
A software defined radio library written mostly in Haskell.
Reactive synthesis competition entry
Winner of the sequential realizability track of the 2014, 2015 and 2016 reactive synthesis competitions.
A library for drawing graphs in real time using OpenGL.