I’m a programmer. My work has focused on improving software quality by helping engineers apply static analysis tools to their code.
Previously, I worked at AWS in the Automated Reasoning Group. I contributed to the CBMC static analysis tool and created a CI and build system to run CBMC on open-source AWS projects like s2n-tls and FreeRTOS.