Beginning my graduate degree in 2024 I started at CU Boulder, studying prommaing languages. My research has an emphasis on Category Theory, Abstract Interpretation, and Functional Programming. I mainly use functional languages such as Scala and Ocaml for implementations. When doing verification work I have used Coq but have a preference for Lean4.
ScalaVerificationFunctional ProgrammingDuring the summer of 2025 I was invited to Aarhus to contribute to the Flix language, created by Professor Magnus Madsen. I mainly worked on expanding the Flix standard library using effect-oriented and functional design patterns. Additoinally I leveraged the new JDK24 bytecode manipulation APIs to prototype a more robust Scala backend for the Flix compiler
ScalaFlixOpen SourceWorking with Vertex I was responsible for writing smart contracts in Solidity and Oracles in Rust. My team was rather small and developed several projects from the ground up. We worked as smart contract developers and built production oracles (software for interfacing with contracts) in Rust.
SolidityRustPythonI started my 'professional' programming career at Publicis. Here I worked mainly on salesforce projects involving Javascript front ends. I wrote server endpoints in Apex and weaved them into front ends with JS. Some of the technologies used were React and the Lightning Component Framework.
JavascriptJavaSalesforceAt Bluescape I worked on testing their expansive front end. I used Jest to test the JS front end written in React. It was my first time working with production code and I grew exponentially as a developer. In part due to using Jira to manage tickets to proper git workflows.
Node.jsJestGit