个人简历

姓名：范丹

职称：讲师

系别：计算机系

教育经历

2013.7清华大学计算机科学与技术系工学博士

工作经历

2013.7-2015.6中国科学院大学博士后

2015.6-至今 永利总站ylzz55讲师

研究方向

数据建模、形式化验证、网络安全

讲授课程

数据结构

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女性工程师奖