Hello! I'm One An.

I'm an undergrad at University of Pennsylvania studying Logic and Computer Science.

My current interests are Type Theory, Automated/Interactive Theorem Provers, and Logic broadly.

Here is my CV

Here's my contact info:

• Email: onean@sas.upenn.edu
• Discord: one.an

Are you my student? You can leave me anonymous feedback.