Me

Hi, I'm Po-Yun Cheng (Mandarin: 鄭博允), a recent Computer Science graduate from National Taiwan University , currently preparing for PhD applications in Software Engineering and Human-Computer Interaction.

What developers prefer is not always what keeps a codebase healthy; verification made too easy can quietly let technical debt through. My research aims to make verifying AI-generated code cheaper for developers without letting quality erode. I design interfaces, tools, and metrics to support this, combining methods from HCI, software engineering, and AI systems.

Contact: poyuncheng.bob@gmail.com

WHERE

Taipei, Taiwan