Srivatsa Chakravarthy
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.
Tools🔧