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, probabilistic programming, program synthesis, and theory of computation.