项目介绍
Dr. Huang 现任香港城市大学 (CityU) 计算机科学系助理教授，自2024年起任职。此前，他在苏黎世联邦理工学院 (ETH Zurich) AST实验室从事博士后研究，导师为 Prof. Zhendong Su；他在香港科技大学 (HKUST) 获得博士学位，导师为 Prof. Charles Zhang。他的研究聚焦软件安全，尤其致力于利用程序分析技术保障严格的软件安全。他的主要目标是通过理解程序的复杂语义，弥补现有安全分析在各类软件系统中的不足。目前研究主要分为两个方向：增强基础程序分析算法；探索不同场景(如AI、区块链、内核)中的代码语义表示与安全规范。
所属院系：香港城市大学，计算机科学系
项目时长：1 年
申请要求和方式
申请要求：
·拥有计算机科学、人工智能、数据科学或其他相关专业的博士学位；
·具有扎实的编程和数学背景者优先。
申请方式：
按照导师要求，通过邮件发送简历及其他证明材料。经过双向选择后，向院校递交申请。
