I am a software engineer with experience in Rust who enjoys using the right tools to build simple yet functional software solutions. I have experience in:

• Building systems to track insurance enrollments and terminations of benefits automatically
• Building systems to automatically generate 834 files and spreadsheets
• Parsing and generating 834 files using error proof methods, such as type safety
• Formulating problems in terms of MILP and creating easy to use interfaces to them [Link]
• Using SMT Solvers to produce novel solutions [Link]

In a previous life I was a mathematician, where I was lucky to have been able to publish in prestigious journals like JEMS [Link]. I thoroughly enjoyed the experience and I am grateful for everyone I met along the way.