专家详情：

【重要履历】现任加拿大QS前大学继续教育学院助理教授，拥有软件工程博士学位（毕业于女王大学，师从 Prof. Juergen Dingel），此前在德国开姆尼茨工业大学获汽车软件工程硕士学位。曾于康考迪亚大学从事博士后研究，并担任麦吉尔大学访问研究员。博士论文聚焦模型驱动开发背景下分布式实时嵌入式系统的回归测试，其中一篇论文荣获 ACM SIGSOFT MODELS'21 杰出论文奖。在博世工程公司、EPAK GmbH 及 Imaginary Spaces 等企业积累了丰富的工业软件开发经验。

【技术能力】精通模型驱动工程、分布式系统测试与调试、鲁棒性分析及 AI 在软件工程中的应用。开发了 ra4xstate（量化状态机鲁棒性分析工具）、MReplayer（分布式 UML-RT 模型轨迹重放工具）和 MRegTest（回归测试框架）等一系列创新工具，并熟练掌握 CI/CD 流水线设计、DevOps 实践及全栈开发。具备 IoT 系统语义建模、日志数据分析及基于 LLM 的编程辅助工具研究能力，发表论文 19 篇，总被引 255 次，研究成果发表于 Software and Systems Modeling（SoSyM）和 ICSE、MODELS 等顶级会议。

【标志性成果】开发的 ra4xstate 方法已被 107 名开发者采用，对工业界软件测试实践产生了实际影响。多次担任 ICSE、SEAMS、ASE 等顶级会议的程序委员会或组织委员会成员，并为 Mitacs、BioSystems 期刊等担任同行评审人。曾获女王大学多项研究生奖学金及国际会议旅行资助，并入选加拿大联邦政府国家研究委员会实习项目，从事网络安全日志表征学习研究。教学经验涵盖麦吉尔大学、康考迪亚大学和女王大学的多门软件工程核心课程，学生评价积极，展现出卓越的教学与指导能力。