Биография

Студент бакалавр Университета штата Пенсильвания.

Научные интресы: языки с типизированной зависимостью, теории типов и их реализации.