职称：助理研究员
联系电话：
E-mail：7420180300@bit.edu.cn
通信地址：北京市海淀区中关村南大街5号尊龙凯时娱乐
个人信息
科研方向
组织代理行为📻、面向多代理软件工程、形式语义方法、知识表示。
代表性学术成果
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会员🧎♀️；