Research & Engineering
I’m a software research engineer with a background in interactive theorem proving. I’m interested in practical applications of formal methods, specifically in developing automated reasoning tools and programming language features for proving software correctness. I enjoy using both theory and engineering in order to solve deep technical problems.
In my spare time I’m usually playing board games, video games, watching movies, or going for walks in parks around Portland.