I am a software engineer specializing in formal verification and statistical analysis. Over the last few years, I've worked as a data analyst studying health and social service systems. Prior to that, I used the interactive theorem prover COQ to formally verify hardware designs. I'm passionate about using sound science to improve people's lives especially those who are vulnerable within society.

You can learn more about me on my website https://larrylee.tech.