Danya Lette

About

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

danyalette@gmail.com · github · blog · CV