👨🏻‍💻 I am a final-year B.Sc. student in Mathematics and Computer Science at McGill University, and an incoming thesis master’s student in Computer Science at the University of Toronto (starting September 2027), supervised by Prof. Xujie Si.

📝 My research interests lie in formal methods and machine learning, in particular agentic kernel generation and optimization, machine learning for code verification, and deep learning interpretability.

Experience 📖

🔬 I have been working with Prof. Xujie Si’s lab on neuro-symbolic methods for graph learning and program verification (ICLR / NeurIPS 2026 projects).

💼 I was a Machine Learning System Engineer Intern at Qualcomm (Toronto, 2025–2026), working on ML infrastructure and ONNX model compilation for computer vision workloads on Snapdragon hardware.

🔬 I was a student researcher at Mila – Quebec AI Institute (2022–2023), working on language models for type-error diagnosis and neural network verification.

Awards 🏆

1. 2025 Snapdragon AI Innovation Challenge – Merit Award (one of 27 finalist teams from 1,000+)
2. SPLASH 2023 SRC(Student Research Competition) second place .
3. USRA 2023(Undergraduate Student Research Awards) under the supervision of Professor Brigitte Pientka
4. ENG WEEK Hackathon 2022 first place