Registered user since Tue 23 Jun 2026
Name:Kiarash Sotoudeh
Bio:
4th year undergraduate student at the University of Toronto
Country:Canada
Affiliation:University of Toronto
Personal website: https://exekis.github.io
X (Twitter): https://x.com/exekis
GitHub: https://github.com/exekis
Research interests:Programming Languages, Formal Methods, Automated Reasoning
Contributions
2026
Using general profile