I'm a software engineer with a love for functional programming, type theory, distributed systems, and a dash of logic programming. Btw I use Nix.
Experience
2023 — 2023
2020 — 2023
2018 — 2020
2016 — 2018
Education
2012 — 2016
Old Dominion University
Bachelor of Science - BS
2012 — 2016