I am an undergraduate at the University of Pennsylvania, studying for a degree in Math, Logic, and Computer Science. My current interests are type theory, proof assistants, and logic more broadly.
I keep a public blog/notebook here that may not be interesting but maybe interesting sometimes to someone.
If you teach me, hire me, fork my code, or just want to chat, feel free to reach me via my email.
Are you my student? You may leave anonymous feedback.