Danya Lette

About

Hi, I'm Danya Lette. I'm a graduate student in the department of computer science at the University of Toronto. I'm interested in programming languages, formal verification, program synthesis, and theory of computation.

danyalette@gmail.com · github · blog · CV