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.
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.