About

My interests include functional programming, signal processing and digital hardware design.

Projects

SDR

A software defined radio library written mostly in Haskell.

GitHub Hackage

Reactive synthesis competition entry

Winner of the sequential realizability track of the 2014, 2015 and 2016 reactive synthesis competitions.

GitHub

Dynamic Graph

A library for drawing graphs in real time using OpenGL.

GitHub Hackage

Publications

Google scholar

Contact me

adamwalker10@gmail.com