个人简历
姓名：范丹
职称：讲师
系别：计算机系
教育经历
2013.7 清华大学计算机科学与技术系工学博士
工作经历
2013.7-2015.6 中国科学院大学博士后
2015.6-至今 十大菠菜软件(中国)集团有限公司讲师
研究方向
数据建模、形式化验证、网络安全
讲授课程
数据结构
C++程序设计
数字电路与逻辑
研究成果
期刊论文
ZhangGefei, Fan Dan, Zhang Yuqing, LiXiaowei, Liu Xuefeng. A Privacy PreservingAuthentication Scheme forRoaming Services in Global Mobility Networks. Securityand Communicationnetworks. (SCI)
ZhangGefei, Fan Dan, Zhang Yuqing, LiXiaowei. A provably secure general constructionfor key exchange protocolsusing smart card and password. Chinese Journal ofElectronics. (SCI)
Fan Dan,Luo Guiming. RecursiveIdentification for Dynamic Linear Systems from NoisyInput-Output Measurements.Journal of Applied Mathematics, 2013. (SCI)
Fan Dan,Lo Kuiming. Identification forDisturbed MIMO Wiener Systems. NonlinearDynamics, 2009, 55(1-2): 31-42. (SCI)
学术会议
研究项目
国家自然科学基金青年基金：基于自适应模型检测的安全协议自动建模与设计研究
CCF-腾讯犀牛鸟基金项目: Android系统架构层与内核层漏洞挖掘技术研究(RAGR20140117)
信息安全国家重点实验室开放课题: 安全协议的自适应形式化分析与设计(2014-12)
55批中国博士后科学基金面上一等资助: 安全协议自适应形式化分析方法及关键技术研究(2014M550085)
清华大学博士生科研创新基金: 复杂系统的自适应建模及其在黑箱模型检测中的应用
社会兼职及荣誉
2014年北京市科学技术奖三等奖
2010年谷歌Anita Borg女性工程师奖
