站内搜索:
当前位置: 首页 >> 师资队伍 >> 计算机系 >> 讲师 >> 正文

范丹

[发表时间]:2015-09-14 [来源]: [浏览次数]:

基本资料

姓名:范丹

职称:讲师

系别:计算机系

教育背景:

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

工作经历:

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

2015.6-至今   中央财经大学信息学院讲师 

主要讲授课程:

算法与数据结构

主要研究领域:

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

主要研究成果:

主持科研项目:

1. 国家自然科学基金青年基金:基于自适应模型检测的安全协议自动建模与设计研究(NSFC 61402434)

2. CCF-腾讯犀牛鸟基金项目: Android系统架构层与内核层漏洞挖掘技术研究(RAGR20140117)

3. 信息安全国家重点实验室开放课题: 安全协议的自适应形式化分析与设计(2014-12)

4. 55批中国博士后科学基金面上一等资助: 安全协议自适应形式化分析方法及关键技术研究(2014M550085)

5. 清华大学博士生科研创新基金: 复杂系统的自适应建模及其在黑箱模型检测中的应用

代表性论文:

[1]  Fan Dan, Lo Kuiming. Identification forDisturbed MIMO Wiener Systems. Nonlinear Dynamics, 2009, 55(1-2): 31-42.  (SCI)

[2]  Fan Dan, Luo Guiming. RecursiveIdentification for Dynamic Linear Systems from Noisy Input-Output Measurements.Journal of Applied Mathematics, 2013. (SCI)

[3]  Fan Dan, Luo Guiming, Zhao Yue, Kwon WookHyun. Identification for a kind of Disturbed multi-dimensional Wiener system.World Congress, 2008, 17(1):10240-10245. ( A类会议)

[4]  Zhang Gefei, Fan Dan, Zhang Yuqing, LiXiaowei, Liu  Xuefeng. A Privacy Preserving Authentication Scheme forRoaming Services in Global Mobility Networks. Security and Communicationnetworks. (SCI)

[5]  Zhang Gefei, Fan Dan, Zhang Yuqing, LiXiaowei. A provably secure general construction for key exchange protocolsusing smart card and password. Chinese Journal of Electronics. (SCI)

奖励荣誉:

2014北京市科学技术奖三等奖 

2010谷歌Anita Borg女性工程师奖 

联系方式:
电子邮件:fandan@cufe.edu.cn

 

【下一篇】白璐

版权所有: 中央财经大学  学院南路校区地址:北京市海淀区学院南路39号 邮编:100081 沙河校区地址:北京市昌平区沙河高教园区 邮编:102206 京ICP备05004636号 京公网安备110402430071号