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
2024 — 2024
2023 — 2023
2020 — 2023
2018 — 2020
2016 — 2018
Education
Old Dominion University
Bachelor of Science - BS
2012 — 2016