News

• Two papers submitted to NeurIPS 2023.
• Towards Reliable Neural Specifications is accepted to ICML 2023 (Oral presentation) [Paper].
• Identifying different student clusters in functional programming assignments: From quick learners to struggling students is accepted to SIGCSE TS 2023 [Paper].
• Novice Type Error Diagnosis with Natural Language Models is accepted to APLAS 2022 [Paper].

About me

I am currently a PhD student at the Montreal Institute for Learning Algorithms (MILA) and McGill University, supervised by Xujie Si . My research interests include theory of deep learning, geometric deep learning, and neuro-symbolic methods.

Research interests

• Theory of Deep learning and its applications in NN’s robustness, verification and optimaztion;
• Neuro-symbolic methods;
• Geometric deep learning;

Education

🎓 PhD in Computer Science (2023-) University of Toronto (visiting)

🎓 PhD in Computer Science (2021-) McGill University / MILA

🎓 MSc in Computer Science (2019-2021) Georgia Institute of Technology

🎓 BSc in Math & Stats (2011-2015) University of Toronto