Hi! My name is Wojtek (voy-tech, like in envoy and techno). Currently, I am a PhD student in the Department of Philosophy at Carnegie Mellon University supervised by Jeremy Avigad. My research is in interactive and automated theorem proving, programming languages, type theory, and mathematical logic. I also developed parts of the Lean 4 theorem prover. This is my personal website. Check out my publications, posts, and writeups of CTF (a kind of cybersecurity competition) challenges.
0925 028C 960A C24C FC57 8D9D 4E27 C2EB C32B 69B7