Hello! I'm One An.

Icon

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

My current interests are Type Theory, Proof Formalization, and Physically Based Rendering.

Here is my CV .

Here's my contact info: