About

I am a second-year PhD student in Computer Science at the University of Waterloo, where I am supervised by Chengnian Sun. Before that, I received my bachelor's degree in Software Engineering from Beihang University in 2023.

I am broadly interested in topics related to software engineering and programming languages. Currently, my research primarily focuses on improving the reliability, e.g., correctness and security, of critical software systems. I develop advanced bug detection and resolution techniques to make these systems more trustworthy. More recently, with the rapid rise of LLMs and AI agents, I have expanded my interests to the intersection of SE/PL and AI. I explore how LLMs and agents can be leveraged to better address software reliability challenges. At the same time, AI systems themselves (e.g., LLM-based agents), as a new form of software, raise reliability issues that remain underexplored.

Selected Publications

[Full List]

Experience

• Research Intern, 2026.05 ~ 2026.08, Ant Group, Mentor: Puzhuo Liu
• Ph.D. in Computer Science, 2025.01 ~ Now, University of Waterloo
• MMath in Computer Science, 2024.01 ~ 2024.12, University of Waterloo (transferred to Ph.D. program)
• B.Eng. in Software Engineering, 2018.09 ~ 2023.06, Beihang University
• Mitacs Research Internship, 2022.07 ~ 2022.10, University of Waterloo, Supervisor: Nancy Day

Awards

• ACM SIGSOFT CAPS for ICSE'25, ICSE'26
• UWaterloo International Doctoral Student Award, 2025
• UWaterloo Graduate Research Scholarship, 2024
• Mitacs Globalink Graduate Fellowship, 2023
• Mitacs Globalink Research Internship Award, 2022

Teaching

• Teaching Assistant:

  • CS241 - Foundations of Sequential Programs (Spring, Fall 2024, Winter, Spring 2025)
  • CS115 - Introduction to Computer Science 1 (Winter 2025)
  • CS116 - Introduction to Computer Science 2 (Winter 2024)

Misc.

• Chinese name: 周昕潼
• Skills questionable, but enjoy 🏸, 🎱 and 🎸
• WeChat