硕士生导师
- 车海莺
- 陈旵明
- 陈杰浩
- 陈朔鹰
- 陈宇峰
- 程成
- 邸慧军
- 高春晓
- 高广宇
- 高玉金
- 高扬
- 耿晶
- 郭贵锁
- 郭宇航
- 黄永刚
- 计卫星
- 鉴萍
- 金福生
- 金乾坤
- 李国政
- 李红松
- 李建武
- 李立杰
- 李鹏
- 李玉岗
- 李元章
- 李志强
- 刘琼昕
- 刘振岩
- 刘正阳
- 鲁国
- 罗迪新
- 罗霄
- 马锐
- 马忠梅
- 逄金辉
- 秦宏超
- 秦志达
- 屈少杰
- 曲大成
- 阮思捷
- 单纯
- 商建云
- 史树敏
- 宿红毅
- 孙建伟
- 孙新
- 汤世平
- 田东海
- 王崇文
- 吴昊
- 吴之璟
- 王娟
- 王全玉
- 王文明
- 王一拙
- 王勇
- 卫晋
- 闫波
- 闫怀志
- 余月
- 袁汉宁
- 袁武
- 朱林
- 张奥千
- 张春霞
- 张华平
- 张继
- 张龙飞
- 张全新
- 张文耀
- 张艳
- 张宇霞
- 赵丰年
- 赵三元
- 赵小林
- 钟晓时
- 郑宏
- Kashif Shsrif
硕士生导师
所在学科：计算机科学与技术
职称：助理研究员
联系电话：
E-mail：7420180300@bit.edu.cn
通信地址：北京市海淀区中关村南大街5号beat365体育官网平台beat365体育官方网站
个人信息
张艳，女，博士，beat365体育官网平台beat365体育官方网站助理研究员，硕士生导师。1999年、2004年于重庆大学获得计算机应用技术专业工学学士和计算机软件与理论专业工学硕士，2018年于beat365体育官网平台获得计算机科学与技术专业工学博士。目前主要科研领域为：组织代理行为、面向多代理软件工程、形式语义方法、知识表示等相关理论和技术。近年来在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会员；