兼任教育部高等学校计算机类专业教学指导委员会副主任委员,教育部高等学校计算机类专业教学指导委员会人工智能专家委员会副主任委员,工业和信息化部电子科学技术委员会委员,中国人工智能学会离散智能计算专委会主任委员。
荣获首批新世纪国家“百千万人才工程”人选,国务院政府特殊津贴专家,全国模范教师,中国侨界创新人才贡献奖,省级教学名师,省级优秀专家等。
1996.01浙江大学获工博士学位。1998年至2002年在澳大利亚CURTIN大学、MURDOCH大学进行博士后和客座访问研究。
可信人工智能教育部工程研究中心 主任
暨南大学 信息科技学院/网络空间安全学院 网络空间安全学科 教授/博士生导师
新世纪百千万人才工程国家级人选(2004)
国务院政府特殊津贴专家(2004)
全国模范教师(1998)
国家级教学成果二等奖(2014)
省部级科技进步二等奖(2019)
省部级科技进步二等奖(2018)
省部级科技进步二等奖(2016)
省部级自然科学二等奖(2013)
省级教学成果特等奖(2021)
省级教学成果一等奖(2017)
省级教学成果特等奖(2012)
省级教学成果一等奖(2009)
省级教学成果一等奖(2004)
省级优秀教材一等奖(2003)
主持国家自然科学基金重点项目、国防预研重点项目、国防预研基金等30余项;出版学术著作《有序二叉决策图及应用》《软件开发的形式化方法》《网络协议的形式化分析与设计》等3部;在国内外重要学术刊物发表学术论文200余篇。
开设本科生/研究生课程6门。承担教育科学研究和教学改革项目13项,出版研究生/本科生教材《人工智能伦理导论》、《离散数学》(十二五国家规划教材)、《软件工程》等3部。国家级精品课程、国家精品资源共享课程、国家级特色专业、国家级教学团队负责人。
主讲课程:
人工智能伦理导论(本科生,通识课)、离散数学(本科生,国家级精品课程)、人工智能概论(本科生);
人工智能伦理(研究生)、形式化方法(研究生)、协议工程(研究生) 、运筹学(研究生)
人工智能安全 ,人工智能伦理,数据治理,形式化方法