Biography

Undergraduate student from The Pennsylvania State University.

Tesla's research interests include dependently typed languages, type theories and their implementations.