I'm Phillip, I work part-time as a programmer at Nextjournal and part-time cultivating a plot of rural land
I've also worked at Nubank where I built micro-services, worked on the data platform, and was the co-maintainer of several Clojure libraries related to testing: matcher-combinators, state-flow, and Midje
Academically speaking, I received a masters in Programming Languages from Northeastern University, working to establish new compiler verification proof techniques under the supervision of Amal Ahmed.