I have a HBSc from the University of Toronto (U of T), with a Computer Science Specialist, Mathematics Major, and Linguistics Minor. Since September 2024, I've been working as a Software Engineer (buzzwordy title: Forward Deployed AI Engineer) at PolyAI.
Since my last year at U of T, I've been doing research in type theory with Professor Ningning Xie. Our paper was recently published at ESOP 2026.
My research interests are in programming languages, mainly type theory and compilers. I'm also broadly interested in theoretical computer science.
Bidirectional Type Checking for Existential Types with Higher-Rank Polymorphism
Hasti Toossi, Ningning Xie
ESOP 2026;
doi,
paper,
appendix,
artifact (Haskell),
slides (oral presentation)
A Reproducibility Study on Quantifying Language Similarity: The Impact of Missing Values in the URIEL Knowledge Base
Hasti Toossi, Guo Qing Huai, Jinyu Liu, Eric Khiu, A. Seza Doğruöz, En-Shiun Annie Lee
NAACL 2024 Student Research Workshop;
doi,
paper,
repo (Python)
Predicting Machine Translation Performance on Low-Resource Languages: The Role of Domain Similarity
Eric Khiu, Hasti Toossi, David Anugraha, Jinyu Liu, Jiaxu Li, Juan Armando Parra Flores, Leandro Arcos Roman, A. Seza Doğruöz, En-Shiun Annie Lee
EACL 2024 Findings;
doi,
paper,
repo (Python)