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