一、基礎信息
個人簡介：
劉陽，男🍸，博士、教授🙅🏿，現為中國人工智能學會(CAAI)終身會員📕、CAAI人工智能與安全專委委員、CAAI智能服務專委委員、CCF計算法學執行委員、CCF智能交通執行委員👩🏿🔧、IEEE/ACM會員，教育部學位中心評審專家，上海市科委評審專家、國家自然科學基金等項目通訊評審專家，曾任國家級電子商務國際聯合研究中心學術委員會外方委員/導師，國際頂級期刊/會議等期刊審稿人🛰，多個IEEE國際會議程序委員會委員🥕。以第一作者或通訊作者發表或被錄用於國內外頂級期刊或會議等40余篇，其中SCI/SSCI收錄30+篇次🙅🏻；相關成果被圖靈獎得主/美國科意昂院士Prof. Clarke寫入權威教科書、歐洲科意昂(Academia Europaea)院士Prof. Katoen研究組等列為代表性工作之一、入選省部級高層次人才計劃、獲得IEEE職業中期卓越研究獎、提名新加坡總統獎和上海市研究生優秀成果獎；主持在研或完成新加坡-英國聯合自然科學基金項目(卓越青年科學家項目)、國家自然科學基金重點項目子課題、國家自然科學基金項目、國家社會科學基金項目💀、教育部人文社科(交叉學科)項目、中國博士後科學基金項目和企業委托橫向項目各1項🙎，參與完成973國家重點基礎研究發展計劃、863國家高技術研究發展計劃子課題各1項和國家自然科學基金項目3項𓀚。
個人基礎信息：
性別：男
職務：教授
博碩導：碩士生導師
電子郵箱🐉：lyang@shmtu.edu.cn
二、科學研究
研究領域及科研團隊
研究領域所處學科:
以下學科的交叉👩🏼🚒：控製科學與工程（系統工程/模式識別與智能系統）、計算機科學與技術（計算機軟件與理論/人工智能）、管理科學與工程（大數據管理與應用/物流與供應鏈管理）
具體研究方向（模型驅動的智能系統設計、分析和評價）：
1. 區塊鏈系統🫲🏽：區塊鏈模型擴展，共識機製分析與優化💚，智能合約的自動生成與運行時監控
2. 大數據治理：數據交易與共享，數據安全與隱私保護，數據資產管理
3. 可信人工智能：可解釋性🙂、公平性、魯棒性🆖、安全、隱私保護
4. 智能港口物流HCPS (Human–Cyber–Physical Systems): 雲服務/BPM/SoS/人-機-物融合計算。
