張艷，女，博士，北京理工大學計算機學院助理研究員，碩士生導師。
基本介紹
- 中文名：張艷
- 國籍：中國
- 學位/學歷：博士
- 職業：教師
- 職務：碩士生導師
- 性別：女
- 職稱：助理研究員
個人經歷,科研領域,科研方向,學術成果,
個人經歷
1999年、2004年於重慶大學獲得計算機套用技術專業工學學士和計算機軟體與理論專業工學碩士，
2018年於北京理工大學獲得計算機科學與技術專業工學博士。
科研領域
組織代理行為、面向多代理軟體工程、形式語義方法、知識表示等相關理論和技術。
科研方向
組織代理行為、面向多代理軟體工程、形式語義方法、知識表示。
學術成果
Yan Zhang, Lejian Liao. An algebraic specification language for Organizational Behavior of OOMAS. the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE’16.(CCF-A)
Yan Zhang, Lejian Liao. Hierarchical Clustering of Group Behaviors in Cyber Situation Awareness，the 2016 IEEE International Conference on Software Quality, Relia-bility and Security, QRS’16.( CCF-C/EI)
Yan Zhang, Lejian Liao, Chang Xu. Situation Semantics Aggregator for Realtime Simulation on Organizational Behaviors. IEEE International Conference on Trust, Security and Privacy in Computing and Communications.( CCF-C/EI)
張艷, 廖樂健, 徐暢. 對一種無可信中心的秘密握手協定的安全性分析 10th信息安全漏洞分析與風險評估大會（The 10th Conference on Vulnerability Analysis and Risk Assessment）(EI)
