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 Theorem Proving, and Physically Based Rendering.

Here is my CV .

Here's my contact info:

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