职称：助理研究员
联系电话：
E-mail：7420180300@bit.edu.cn
通信地址：北京市海淀区中关村南大街5号PA视讯|PA真人官网-PLAYACE旗舰注册入口
小我私家信息
科研偏向
组织署理行为、面向多署理软件工程、形式语义要领、知识体现。
代表性学术结果
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会员；