一、基础信息
个人简介：
刘阳，男，博士、教授，现为中国人工智能学会(CAAI)终身会员、CAAI人工智能与安全专委委员、CAAI智能服务专委委员、CCF计算法学执行委员、IEEE/ACM会员，教育部学位中心评审专家，新加坡国立研究基金会、上海市科委、国家自然科学基金委等项目/奖项评审专家，新加坡国大客座研究员，曾任计算机软件新技术国家重点实验(南京大学)博士后、新加坡可信软件系统国家联合研究中心(新加坡国立大学等联合组建) Research fellow / Senior Research Scientist (PI)、国家电子商务国际联合研究中心学术委员会外方委员，国际顶级期刊/会议等期刊审稿人，多个IEEE国际会议程序委员会委员。以第一作者或通讯作者发表或被录用于国内外顶级期刊或会议等40余篇，其中SCI/SSCI收录30+篇次；相关成果被图灵奖得主Prof. Clarke写入权威教科书、欧洲科学院(Academia Europaea)院士Prof. Katoen研究组等列为代表性工作之一、入选省部级高层次人才计划、获得IEEE职业中期卓越研究奖、提名新加坡总统奖和上海市研究生优秀成果奖；主持在研或完成新加坡-英国联合自然科学基金项目(卓越青年科学家项目)、国家自然科学基金重点项目子课题、国家自然科学基金项目、国家社会科学基金项目、教育部人文社科(交叉学科)项目、中国博士后科学基金项目和企业委托横向项目各1项，参与完成973国家重点基础研究发展计划、863国家高技术研究发展计划子课题各1项和国家自然科学基金项目3项。近三年完成省部级项目1项，在研国家级、企业委托项目各1项，在CCF A国际顶会发表学术论文2篇、国际顶刊长文2篇等。
个人基础信息：
性别：男
职务：教授
博硕导：硕士生导师、博士生导师
电子邮箱：lyang@shmtu.edu.cn
二、科学研究
研究领域及科研团队
研究领域所处学科:
所属的交叉学科：智能科学与技术，是以下学科的交叉：控制科学与工程（系统工程/模式识别与智能系统）、计算机科学与技术（计算机软件与理论/人工智能）、管理科学与工程（大数据管理与应用/物流与供应链管理）
研究领域与团队：iSE (intelligent System Engineering / intelligent Software Engineering / intelligent Society Engineering)
研究方向与主题：数据-模型驱动的智能系统设计、分析和评价，涉及以下topics：
1.区块链系统：区块链模型扩展，共识机制分析与优化，智能合约的自动生成与运行时监控
2.大数据治理：数据交易与共享，数据安全与隐私保护，数据资产管理
3.可信生成式人工智能：可解释性、公平性、鲁棒性、安全、隐私保护
4.智能港口物流HCPS (Human–Cyber–Physical Systems)：BPM/SoS/人-机-物融合计算
