硕士生导师
硕士生导师
所在学科：计算机科学与技术
职称：助理研究员
联系电话：
E-mail：7420180300@bit.edu.cn
通信地址：北京市海淀区中关村南大街5号永利皇宫463cc
个人信息
张艳，女，博士，永利皇宫463cc助理研究员，硕士生导师。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)
承担科研情况
所获奖励
社会兼职
CCF会员；