Hi there! I'm a software engineer specializing in the Rust programming language. I'm also interested in programming language design and implementation.

You can find my resume here.

Some of my recent job-related contributions have been to open-source projects.

• While working for OpenObserve, I worked on the company's open-source observability platform. Here is a list of my PRs for that project.
• While working for Sybridge, I wrote and published an open-source library for performing asynchronous, event-driven job orchestration. That repository is here.
• In order to learn more about 3D graphics, I attempted to port to Rust some of the rendering logic from the Physically Based Rendering book and its accompanying C++ library. That repository is here. Although this was a personal project that I pursued in my free time, my team and I at Sybridge ended up incorporating this tool into our production application to generate 3D screenshots for CAD files that customers uploaded to the platform.

Outside of the projects listed above, most of my job-related contributions have been to private repositories.

Many of my personal and academic interests in computer science revolve around programming language design and immplementation. Here are a few of my personal projects and writings in that space:

• I implemented a toy compiler while working through part of the Essentials of Computation textbook. That respository is here.
• I ported code for the implementation of a logic programming language from the Handbook of Practical Logic and Automated Reasoning from OCaml to Haskell. This logic language generates Herbrand functional logic resolution proofs. That repository is here.
• I wrote a grant application to perform graduate research on defining a formal specification and implementing a formally verified compiler for the Idris programming language:
• For my undergraduate senior thesis I explored the use of session types to enforce mutli-party asynchronous communication protocols.