Senior Engineering Manager, AI Engine
April 2021 - March 2024
Citrine Informatics provides generative AI capabilities to materials science R&D labs for the discovery of novel materials.
At Citrine, I managed a team of research engineers and software engineers to build out the machine learning workflows and AI capabilities of our SaaS platform.
Professional Projects
VP of Engineering; Principal Software Engineer
March 2019 - February 2021
Voltaiq provides analytics capabilities for battery research and manufacturing, to characterize battery health, longevity, and safety.
As VP of Engineering, I served as technical diligence POC with the lead investors of a successful Series A round. I instituted agile practices and accelerated DORA software delivery metrics. I created a suite of security policies and led the team through its first SOC2 audit.
As Principal Software Engineer I built sensor data pipelines, featurization routines, and user-facing data visualizations. As Lead Data Scientist, I trained machine learning models for battery lifetime prediction.
Director of Informatics
April 2021 - March 2024
Point Blue is a science non-profit dedicated to the conservation of ecosystems for birds and other wildlife in the face of climate change.
As Director of Informatics, I led a small team of software engineers in collaboration with research scientists to provide wildlife population data for statistical modeling and land management decision support.
StoryTime RAG Application
2024
StoryTime is an application I am building for my son, who loves to ask ChatGPT to tell him stories. This is a simple app using a retrieval-augmented generation (RAG) technique to look up relevant information in a Pinecone vector database, and feed it into the context window of an LLM, asking the model tell an interesting story about the characters.
Code available upon request.
Independent Projects
Battery Diffusion Model
2020
This is a basic model of a battery built in Python, showing how the delay induced by diffusion of ions from cathode to anode and back can give rise to the pattern we see in charge/discharge curves. I built this model while working at Voltaiq, to understand a little more about what the data was telling us about the internals of a battery.
A slide deck describing the model is here.
The code is here.
Peano Axioms in Scala
2013
This was an experiment with some elementary theorem proving in Scala. In 2013, as I was learning Scala and Category Theory, I was fascinated with the Curry-Howard Correspondence, equating programs with proofs. I decided to try and express the Peano axioms in Scala, with some interesting results.
The code is here.