张艳 - 北京理工大学

个人简介

张艳，女，博士，北京理工大学计算机学院助理研究员，硕士生导师。1999年、2004年于重庆大学获得计算机应用技术专业工学学士和计算机软件与理论专业工学硕士，2018年于北京理工大学获得计算机科学与技术专业工学博士。目前主要科研领域为：组织代理行为、面向多代理软件工程、形式语义方法、知识表示等相关理论和技术。近年来在ASE、QRS、MIS等知名国际会议和期刊发表学术论文若干。

研究领域

组织代理行为、面向多代理软件工程、形式语义方法、知识表示

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

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)