Tanner Duve

Proof Engineer, Logician

pfp1.png

Hi! I’m Tanner. I like logic, programming languages, category theory, and formal verification. I’m currently a Member of Technical Staff at Logical Intelligence. I’ve worked in Amazon’s Automated Reasoning Group, I contribute to open source formalization libraries like Mathlib and CSlib, and I am a primary author of Algolean.

I did my undergraduate degree at Penn in mathematical logic and my masters in computer science. I played two years of D1 football, nowadays I play adult league baseball, lift weights, and sprint. I like to read, primarily analytic philosophy, philosophy of mind and consciousness, eastern philosophy, and mathematics. I am also passionate about veganism and liberation for all beings.