Haoyang Ma (马昊阳)

My research spans the areas of software engineering, programming languages, and their intersection with AI, including bug analysis, bug detection, bug localization and LLM-empowered programming. I also have hands-on experience in AI infrastructure, and am interested in translation validation and automated reasoning.

See my experience and awards.