Danya Lette
Research Assistant at University of Toronto
Old Toronto, Ontario, Canada
Summary
👤
Senior🎓
Top SchoolDanya Lette is a research-focused software engineer and PhD student in computer science at the University of Toronto with 11 years of practical experience spanning freelance development, front-end work for major events, and research and teaching roles. His research and engineering interests center on programming languages, program synthesis, and automated formal verification, informed by hands-on experience teaching courses like Software Verification and Principles of Programming Languages. Comfortable bridging theory and practice, he has built production-facing UI and web systems earlier in his career while now focusing on automated verification techniques that make correctness more attainable. He pairs a strong academic track record (BS, MS, and current PhD studies) with real-world software delivery, and his background in philosophy suggests a proclivity for rigorous, precise reasoning in both code and proof.
11 years of coding experience
6 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Toronto
English, French, Spanish, German
Github Skills (43)
recursive9
wordpress8
wp-cli8
issue-tracking8
jekyll7
ocaml7
css7
php7
cli7
html6
macos6
smt6
windows6
linux6
verification6
Programming languages (10)
Github contributions (5)
danyalette/personal-website
Jun 2017 - Jan 2022
My personal website & blog
Contributions:4 PRs, 30 pushes, 1 branch in 4 years 8 months
reactblog-websitepersonal-blog-website
rucs-uoft/rucs-uoft.github.io
May 2018 - Jun 2021
The RUCS website.
Contributions:65 commits, 9 PRs, 25 pushes in 3 years 1 month
cssjekyll
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.