返回导师列表

简介

I am a Senior Lecturer (Associate Professor) affiliated with both the Education and Practice (EAP) section and the Formal Analysis, Theory and Algorithms (FATA) section. My work sits at the intersection of computing education and formal methods, with a focus on how students develop rigorous reasoning and professional competencies in computing.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。