科研团队

团队建设寄语

近年来,依托《陕西省天地网技术重点实验室》和《智能网络与网络安全教育部重点实验室》,坚持“创新致用、贡献社会”的基本原则,组织并培养了一支由3名教授、8名副教授/高工、9名讲师/博士后/工程师等组成的梯队合理的科研团队。我们以 “责任、进取、关爱”为团队文化,以“笃守诚信、勤于学习、勇于实践、敢于创新”为工作理念,脚踏实地,求真务实,把个人的成才愿望和团队的共同目标结合起来,形成了一种“开放、协作、创新”的科研氛围与环境。目前,团队形成了5个研究方向:知识处理、个性化服务、移动学习、云计算和可信软件。

团队老师

教授

刘钧刘均
计算机系教授,博士生导师
美国IOWA州立大学、香港大学访问学者;教育部智能网络与网络安全重点实验室副主任 ,教育部“新世纪优秀人才支持计划”入选者。近年来主持承担了国家863、国家自然科学基金、国家科技支撑计划等10余项课题。获国家科技进步二等奖1项,国家教学成果二等奖1项。获得国家发明专利8项。在VLDB J 、IEEE TKDE、WWW、CIKM等国际期刊与会议发表学术论文60余篇,并担任Information Fusion、IEEE Systems Journal、Future Generation Computer Systems等国际期刊的专刊主编,多个国际会议的Co-chair,以及 IEEE TKDE、IEEE TPDS、IEEE SMC、VLDB等重要国际期刊与会议的审稿人。并获陕西青年科技奖、IBM中国优秀教师奖、谷歌奖教金等荣誉。
主持承担的纵向课题:
2016.1 ~ 2020.12,国家自然科学基金重点项目(子项目),大规模在线协同学习的机理与方法研究(61532004)
2014.1 ~ 2016.12,西安交通大学青年教师跟踪支持项目,知识地图导航学习理论与方法
2012.1 ~ 2014.12,国家“863”计划子课题,海量web数据内容管理、分析挖掘技术与大型示范应用(2012AA011003)
2011.1 ~ 2014.12,国家自然科学基金项目,知识地图的拓扑与演化特性研究及在e-Learning中的应用(61173112)
2010.1 ~ 2011.12,教育部专项课题,基于知识元的科技论文检索方法研究与应用
2010.1 ~ 2012.12,“核高基”国家科技重大专项分课题,基于国产基础软件的数字教育关键技术攻关及示范应用(2010ZX01045-001-005-2)
2009.1 ~ 2011.12,国家自然科学基金项目,面向特定领域文本的知识元及其关联挖掘方法研究(60803079)
2009.1 ~ 2011.12,教育部“新世纪优秀人才支持计划”项目,面向非结构文本的知识元关联挖掘方法研究(NCET-08-0433)
2008.7 ~ 2010.06, 国家“863”计划目标导向课题,面向教育的海量知识资源组织、管理与服务系统(2008AA01Z131)
2007.1 ~ 2009.12,国家科技支撑计划子课题,村镇教育资源远程服务关键技术研究(2006BAJ07B06-2)
2005.1 ~ 2007.12,陕西省自然科学基金项目,面向非结构文本的领域知识获取及可计算化研究
2002.1 ~ 2003.12,教育部“行动计划”中央财政专项,计算机教学管理(CMI)示范系统
刘钧曹国宏
长江学者讲座教授,IEEE Fellow
Guohong Cao received the BS degree in computer science from Xian Jiaotong University and received the PhD degree in computer science from the Ohio State University in 1999. Since then, he has been with the Department of Computer Science and Engineering at the Pennsylvania State University, where he is currently a Professor. His research interests include wireless networks, wireless security, smartphones, vehicular networks, wireless sensor networks, and distributed fault tolerant computing. He has served on the editorial board of IEEE Transactions on Mobile Computing, IEEE Transactions on Wireless Communications, IEEE Transactions on Vehicular Technology, and has served on the organizing and technical program committees of many conferences, including the TPC Chair/Co-Chair of IEEE SRDS'2009, MASS'2010, and INFOCOM'2013. He was a recipient of the NSF CAREER award in 2001. He is a Fellow of the IEEE.
刘钧高立新
长江学者讲座教授,IEEE Fellow
Professor, University of Massachusetts Amherst
AWARDS:
1.NSF CAREER Award 1999.
2.Alfred P. Sloan Fellow, 2003 - 2005
3.IEEE Fellow 2010.
4.Best Paper Award, IEEE INFOOCM 2010.
5.Chancellor's Award for Outstanding Accomplishments in Research and Creative Activity, 2010
6.Test of Time Award, ACM SIGMETRICS 2011.
7.Paper of Distinction Award, ACM Cloud Computin 2011
8.ACM Fellow, 2012
9.College of Engineering Outstanding Senior Faculty Award, 2013
PROJECTS:
1.On Enhancing the Stability and Scalability of the Internet Routing
2.Scalable Quality-of-Service Control for the Next Generation Internet
3.Providing Interactive VOD Services in Multicast Networks
4.Continuous Media Proxy Services in Wide-Area Networks
5.Internet Infrastructure Security
Projects are supported by NSF grant ANI-9977555, ANI-0085848, ANI-0208116, and NSF CAREER Award grant ANI-9875513, Air Force Research Lab, Alfred Sloan Foundation, and industry.

 

 

 

副教授

田锋田锋
副教授,博士生导师
IEEE会员,智能网络与网络安全教育部重点实验室成员,陕西省天地网技术重点实验室成员。曾到英国柏来福大学访问研究。研究方向为智能网络学习环境、数据挖掘、情感计算、Petri网及其应用。
科研项目:
61472315 e-Learner认知效率建模及自适应调整方法研究 国家自然科学基金项目 2015-1~
2013SZS05-p01 海量云存储与共享平台 陕西省 2014-6~
2013BAK09B01 国家志愿者公益服务模式、技术方案与标准体系研究 国家攻关项目 2013-1~
2012BAH16F02 汉语言文化传播服务关键技术研究 国家攻关项目 2012-1~
50975224 制造系统控制调度一体化方法研究 其他 2011-1~
61070072 e-Learning中基于交互文本的情感交互方法研究 国家自然科学基金项目 2011-1~
50975224 基于资源配置的制造装配系统优化调度方法研究 国家自然科学基金项目 2010-1~
60825202 下一代e-Learning系统的关键理论与技术 国家自然科学基金项目 2009-1~
张未展张未展
副教授,硕士生导师
CCF高级会员,IEEE 会员,ACM会员。隶属西安交通大学计算机系系统结构与网络研究所,智能网络与网络安全教育部重点实验室,陕西省天地网技术重点实验室。教育部创新团队、陕西省重点科技创新团队-“西安交通大学智能e-Learning技术创新团队”核心成员。主要研究方向为面向e-Learning的网络多媒体技术,涉及移动网络、云计算等相关研究领域。近年来,主持和参与国家自然科学基金3项,核高基重大专项课题1项,国家科技支撑计划课题3项,发改委CNGI专项2项。在相关国际期刊、会议上发表论文20余篇,申请、授权发明专利10项。获中国电子学会科技进步1等奖。
刘钧钱步月
副教授
博士,副教授,博士生导师,西安交通大学电信学院计算机系。于2013年获得美国加州大学戴维斯分校博士学位,2009年获得美国哥伦比亚大学硕士学位,2007年获得西安交通大学学士学位。专注于数据挖掘和人工智能方向研究。曾任IBM T. J. Watson Research研究员,有丰富的计算机系统和网络平台的实际开发经验。曾经参与或主导了多个大型研究项目,主要项目来源包括美国自然科学基金(NSF)、美国海军研究基金(ONR)、美国国家卫生署(NIH)、雅虎研究院,IBM研究院等。过去5年中在数据挖掘和人工智能的多个顶级会议和期刊上共发表文章二十余篇,并长期担任多个国际顶级数据挖掘会议的程序委员会委员,同时还在多个顶级数据挖掘和人工智能刊物担任评审。主要获奖包括SIAM最佳研究论文奖,雅虎研究奖,IBM最高级成就奖。
刘钧刘烃
副教授
2003年本科毕业于西安交通大学电信学院信息工程专业;2010年博士毕业于西安交通大学电信学院系统工程研究所。近年来,主持国家自然科学基金、教育部博士点基金、西安交通大学青年骨干教师基金等3项课题,以骨干成员身份参与了“十一五”国家863目标导向类课题和探索导向类课题各1项、国家自然科学重点项目2项、面上项目2项、国家科技支撑计划1项、国防科工委项目1项、国家242信息安全计划项目1项和中国兵器科学研究院合作项目1项。相关研究成果先后在《IEEE Network》、《CCPE》、《计算机学报》、《通信学报》等高水平期刊以及ACM CCS、IEEE CCNC等国际会议上发表论文20余篇。担任《IEEE Communication》、《计算机学报》和《计算机研究与发展》等期刊审稿人,曾任国际会议10th APNG(泰国曼谷,2008年)的网络技术分会主席,13th APNG(中国香港,2011年)的会议执行主席。
刘钧杜友田
副教授
博士,西安交通大学电信学院副教授,博士生导师,智能网络与网络安全教育部重点实验室主任助理。主要研究方向是互联网智能、网络内容理解与知识挖掘、在线社会网络、机器学习。在国内外重要学术期刊和会议上发表学术论文三十余篇,其中SCI论文11篇;申请国家专利8项,其中授权4项。2006年获PCM国际学术会议最佳学生论文奖,2013年获陕西省科技进步一等奖(第11完成人)。主持或参与国家自然科学基金4项,国家科技支撑重点课题1项,863课题5项,其它课题5项。主讲本科生课程《数据结构与算法》和研究生课程《机器学习与人工神经网络》。
陈灵陈灵
高级工程师
现任网络学院副院长。
王志文王志文
计算机系副教授
中国计算机学会高级会员,主要从事网络安全与管理、高性能计算机网络技术方面的教学与研究。主持并参与了国家“863”、自然科学基金等多项科研课题。
陈妍陈妍
计算机系副教授
中国计算机学会网络与数据通信专业委员会委员,中国计算机学会YOCSEF AC会员。作为主要成员参加国家杰出青年基金、国家自然科学基金、863计划等多项课题。

 

 

 

讲师

朱海萍朱海萍
博士,讲师
中国计算机学会YOCSEF AC会员。参与国家杰出青年基金、国家自然科学基金、863计划等多项课题,主持国家自然科学基金1项。以第一作者在国内外重要期刊及国际会议上发表学术论文多篇,获西安市科技进步奖一项。参编《计算机网络原理》等教材2部,主讲本科生课程《计算机网络原理》和《程序设计基础》,国家教学团队“计算机网络与体系结构教学创新团队”成员。主要研究方向:智能网络学习环境理论及技术,计算机网络与管理。
吴茜媛吴茜媛
博士,讲师
自2002年以来,先后参与国家自然科学基金,863计划,国家科技攻关/课件支撑计划等多项课题,发表论文多篇,荣获2006年度国家科技进步二等奖。
朱海萍罗敏楠
博士,讲师
从事跨媒体信息挖掘研究,主持基金项目,参与多项国家课题。
朱海萍刘德华
博士,讲师
从事机器学习,网络内容分析挖掘研究,参与多项国家课题。
朱海萍魏笔凡
博士,工程师
2014年博士毕业于西安交通大学,主要从事分面检索和Web文本挖掘方面的研究工作。在IEEE TKDE、WWW等期刊会议上发表多篇论文。参与多项国家科研项目的申请与实施。
董博董博
博士后
2014年6月毕业于西安交通大学计算机科学与技术系,获工科博士学位。研究方向:e-Learning,云计算系统性能建模。在JSS、JNCA、FGCS等国际期刊发表论文多篇。主持国家自然科学基金青年基金项目1项。
朱海萍屈宇
博士后
2015年获得西安交通大学系统工程专业博士学位,现为西安交通大学计算机科学与技术系博士后。作为研究人员,参与多项国家自然科学基金及国家863重点项目。参与了“面向国家电子税务系统的可信软件试验环境与示范应用”、“可信网络交易软件系统试验环境与示范应用”等国家自然科学基金“可信软件基础研究”重大研究计划项目。相关研究成果先后在 Journal of Systems and Software,IEEE Network,IEEE Transactions on Fuzzy Systems,通信学报等国内外学术期刊,以及ICSE,ASE,CCS等国际学术会议上发表论文十余篇。获得2015年教育部科技进步一等奖(个人排名第8),担任国际会议TrustSoft 2016的PC主席,主持国家自然科学基金青年基金项目1项。
李睿李睿
工程师
计算机科学与技术专业,主要研究方向是虚拟化,曾在IBM实习,具有较强的沟通能力。

 

 

 
 
研究小组

知识处理小组

刘子奇      博士
 计算机科学与技术专业,2009年9月入学,主要兴趣: structured probabilistic models and applications in human behavior data, large scale machine learning methods
陈浩      博士
 计算机科学与技术专业,2012年9月入学,主要研究方向为知识发现、机器学习和复杂系统。爱好骑行、爬山、诗歌。
王萌      博士
 计算机科学与技术专业,2012年9月份入学,主要研究方向为数据挖掘、机器学习、自然语言处理。其他研究方向为人工智能、LISP语言。爱好:看电影,爬山,美食。
刘文强      博士
 计算机科学与技术专业,2012年9月入学,主要研究方向为 数据挖掘、机器学习、RDF数据融合 。
宋凌云      博士
 计算机科学与技术专业,2013年9月入学,主要研究方向:文本挖掘,机器学习,自然语言处理。
刘欢      博士
 计算机科学与技术专业,2013年9月入学,主要研究方向:主要研究方向为文本挖掘、机器学习和自然语言处理。
吕彦章      博士
 计算机科学与技术专业,2013年9月入学,主要研究方向:主要研究方向为文本挖掘、机器学习和自然语言处理。
郝亚洲      博士
 计算机科学与技术专业,2013年9月入学,主要研究方向:文本挖掘,机器学习,自然语言处理。
吴蓓      博士
 计算机科学与技术专业,西安交通大学2010级计算机科学与技术专业本科生,于2014年9月进入西安交通大学电信学院学习,攻读硕士学位。爱好运动。主要研究方向为文本挖掘、机器学习和知识处理。
姚思雨      博士
 计算机科学与技术专业,西安交通大学2010级计算机科学与技术专业本科生,于2014年9月进入西安交通大学电信学院学习,攻读硕士学位,爱好广泛,主要研究方向为文本挖掘、机器学习和知识处理。
Atta(李晨)      博士
 计算机与科学技术专业。2016年入学, 主要研究方向:数据挖掘,机器学习。爱踢足球 & 跳舞。
韩宁      硕士
 计算机科学与技术专业,西安交通大学2010级计算机科学与技术专业本科生,于2014年9月进入西安交通大学电信学院学习,攻读硕士学位,爱好篮球,富有创造力和团队合作精神。主要研究方向为舆情网络的可视化。
米建红      硕士
 计算机科学与技术专业, 西安交通大学2010级计算机科学与技术专业本科生,于2014年9月进入西安交通大学电信学院学习,攻读硕士学位,爱好体育,具有较好的团队协作意识和良好的沟通能力,主要研究方向为文本挖掘。
杨青      硕士
 计算机科学与技术专业,西安交通大学2010级计算机科学与技术专业本科生,于2014年9月进入西安交通大学软件学院学习,攻读专业硕士学位,主要研究方向为数据挖掘。
曾宏伟      硕士
 计算机科学与技术专业,于2015年9月入学,主要研究方向为文本挖掘、机器学习和自然语言处理。
段海梦      硕士
 计算机科学与技术专业,于2015年9月入学,主要研究方向为文本挖掘、RDF数据处理。
薛辉      硕士
 计算机科学与技术专业,于2015年9月入学,主要研究方向为网络舆情分析。
闫彩霞      硕士
 计算机科学与技术专业,于2015年9月入学,主要研究方向为信息抽取和自然语言处理。
张玲玲      硕士
 计算机科学与技术专业,于2015年9月入学,主要研究方向为跨媒体数据挖掘。
郑元浩      硕士
 计算机科学与技术专业,于2015年9月入学,主要研究方向为数据/文本挖掘、网络爬虫。
段舒袖      硕士
 软件工程专业,于2015年9月入学,主要研究方向为文本数据挖掘。
刘梦月      硕士
 计算机科学与技术,于2016年9月入学,主要研究方向为web数据挖掘,爱好唱歌、电影、魔方。
吴明伟      硕士
 计算机科学与技术专业,于2016年9月入学,主要研究方向是文本挖掘,机器学习。爱好广泛。
于通      硕士
 硕士,主修计算机科学与技术。于2016年9月入学,主要研究方向为文本挖掘、知识处理,爱好骑行,篮球,唱歌。
石磊      硕士
 计算机科学与技术专业,2016年9月入学,主要研究方向搜索,知识图谱,爱好:Anaconda、Java、Linux、Bootstrap。个人站点:http://www.shilei.link
郭朝彤      硕士
 计算机科学与技术。于2016年9月入学,主要研究方向是文本挖掘。爱好有唱歌、乒乓球。

 

 

 

医疗小组

张开元      博士
 喜欢运动,喜欢科研!研究方向:spectral clustering!
胡学伟      博士
 计算机科学与技术专业,2016年9月入学,主要研究方向为数据挖掘。
吴凡占梦婷      硕士
计算机科学与技术专业,于2015年9月入学,主要研究方向为数据挖掘。
曹世磊      硕士
 计算机科学与技术专业,于2015年9月入学,目前主要研究Metric Learning。
朱子豪      硕士
 来自于湖北江汉平原,研究方向是医疗数据实时分析计算。主要爱好运动---羽毛球与骑行。喜欢新奇的事物,特别是IT相关。
尹畅畅      硕士
 计算机科学与技术专业,2016年9月入学,主要研究方向为医疗数据分析。
李晓宇      硕士
 计算机科学与技术专业,2016年9月入学,研究兴趣:可视化可视分析。
陈思睿      硕士
 西安交通大学12级本科生,16年入学,主要研究方向是数据可视化,可视分析,UI/UX,兴趣广泛,尤其爱好篮球。

 

 

 

个性化服务小组

吴凡吴凡      博士
系统工程专业,2013年9月入学,主要研究方向为个性化服务。
乐佳      博士
 自动化科学与技术专业,2014年9月入学,主要研究方向为个性化服务。
兰田      硕士
 系统工程专业,2014年9月入学,主要研究方向为个性化服务。
姚昀东      硕士
 计算机技术专业,2014年9月入学,主要研究方向为个性化服务。
齐天亮      硕士
 系统工程专业,2015年9月入学,主要研究方向为个性化服务。
万星      硕士
 系统工程专业,2015年9月入学,主要研究方向为个性化服务。
吴轲      硕士
 计算机科学与技术专业,2015年9月入学,主要研究方向为个性化服务。
倪逸夫      硕士
 计算机科学与技术专业,2016年9月入学,主要研究方向为个性化服务。
刘梦歌      硕士
 自动化科学与技术专业,2016年9月入学,主要研究方向为个性化服务。
姬曙光      硕士
 计算机科学与技术专业,2016年9月入学,主要研究方向为个性化服务。
王媛媛      硕士
 计算机科学与技术专业,2016年9月入学,主要研究方向为个性化服务。

 

 

 

移动学习小组

杜海鹏      博士
计算机科学与技术专业,2006年9月入学,主要研究方向是网络多媒体技术,爱好羽毛球、户外,具备一定的科研能力和团队管理经验,曾于2008年7月~2008年10月在 ibm中国开发中心实习,曾参与基于国产基础软件的B/S架构多媒体教学系统研发及应用示范、杭州交大龙山公司合作项目-远程教育系统、IBM SUR等多个项目,并参与了BlueSky项目在Apache社区的推广工作。
赵辉      博士
计算机科学与技术专业,2011年9月入学,主要研究方向是网络多媒体技术,目前主要涉及云端结合的移动学习技术,具备软件开发和基本科研能力。
谢涛      博士
 计算机科学与技术专业,2014年9月入学,研究兴趣:数据挖掘,机器学习,e-learning。
陈宇轩      硕士
 计算机技术专业,2014年9月入学,主要研究方向是网络多媒体,爱好篮球、音乐。
黄云辉      硕士
 计算机技术专业,2014年9月入学,主要研究方向是网络多媒体,爱好骑车、爬山。
孔勰      硕士
 计算机科学与技术专业,西北大学2008级数学系,信息与计算科学专业本科毕业,于2014年9月进入西安交通大学电信学院学习,攻读硕士学位。主要研究方向为面向e-Learning的网络多媒体技术,涉及对等网络、云计算、移动网络等相关研究领域。
叶舒雁      硕士
 计算机科学与技术专业,2014年9月入学,研究方向:网络多媒体。
何昌其      硕士
 计算机科学与技术专业,于2015年9月入学,研究方向:网络多媒体。
杨春萌      硕士
 计算机科学与技术专业,于2015年9月入学,主要研究方向是网络多媒体,爱好看书、旅行
张英鹏      硕士
 计算机技术专业,2016年9月入学,主要研究方向是网络多媒体,爱好爬山、轮滑。
宝思阳      硕士
 计算机科学与技术专业,于2016年9月入学,主要研究方向:网络多媒体,爱好:吉他,篮球。
高翔      硕士
 计算机科学与技术专业,于2016年9月进入西安交通大学电信学院攻读硕士,主要研究网络多媒体,爱好旅游、拍照。

 

 

 

云计算小组

贺欢      博士
 计算机科学与技术专业,2012年9月入学, 主要研究方向云存储,个人爱好:旅游。
马天      博士
自动化科学与技术专业,2012年9月入学, 主要研究方向云存储,喜欢绘画,建筑和音乐。
张汉宁张汉宁      博士
计算机科学与技术专业,2013年9月入学,主要研究方向是云计算与大数据处理技术,有BAT互联网企业工作经验和学术理论研究基础,爱好乒乓球、旅游、户外。
陈亚兴      博士
计算机科学与技术专业,2012年9月入学,主要研究方向为编程语言,Web应用技术,In-Memory 数据存储、管理与计算。个人爱好:骑车出游,亲近自然。
张嵘张嵘      博士
 自动化科学与技术,2014年9月11日入学,主要研究方向为云计算。
阮建飞阮建飞      博士
计算机科学与技术专业,2014年9月入学,主要研究方向为云计算、复杂系统的性能建模与分析。
晋毓泽晋毓泽      硕士
 计算机科学与技术专业,2014年9月入学,主要研究方向:云存储。爱好:音乐和历史。
栾英英栾英英      硕士
 计算机科学与技术专业,2014年9月入学,主要研究方向为云存储,爱好:音乐、运动。
薛妮      硕士
计算机科学与技术专业,2014年9月入学,主要研究方向云存储,个人爱好:唱歌,旅游。
蔚文达蔚文达      硕士
 计算机科学与技术专业,2015年9月入学,主要研究方向:Spark并行计算框架、复杂系统的性能建模与分析。爱好有乒乓球、旅游。
钟阿敏钟阿敏      硕士
 计算机科学与技术专业,2015年9月入学,主要研究方向:虚拟化,个人爱好:吉他,Ukulele,旅游。
刘猛刘猛      硕士
 计算机科学与技术专业,2015年9月入学,主要研究方向:云存储,爱好骑行,篮球。
王晔阳王晔阳      硕士
 计算机科学与技术专业,2015年9月入学,主要研究方向:云存储。个人爱好:运动,看剧等。
李鸽李鸽      硕士
 计算机科学与技术专业,2016年9月入学,主要研究方向:云计算、税务大数据、Spark。个人爱好:运动、唱歌。
杨征宽杨征宽      硕士
 计算机科学与技术专业,2016年9月入学,主要研究方向:云计算、税务大数据分析。
朱旭律朱旭律      硕士
 计算机科学与技术专业,2016年9月入学,主要研究方向:云计算、税务大数据、Spark。爱好有乒乓球、游泳、羽毛球、旅游。
贾俊杰贾俊杰      硕士
 计算机科学与技术专业,2016年9月入学,主要研究方向:云计算。个人爱好:旅行、摄影。

 

 

 

可信软件小组

田振洲田振洲      博士
 计算机科学与技术专业,2010年9月入学,研究方向:可信软件。
张晓东      博士
 2012年9月入学,主要研究程序分析与软件测试。与小组成员一同参与“十二五“XX项目,以及国家自然科学基金“可信电子税务网络发票系统试验环境及其实证研究“,“面向国家电子税务系统的可信软件试验环境与示范应用“以及“可信网络交易软件系统试验环境与示范应用“等。
范铭      博士
 计算机科学与技术专业,于2013年9月份入学,主要研究方向为可信软件、安卓恶意代码检测。爱好:动漫。
晋武侠      博士
 计算机科学与技术专业,于2015年9月份入学,主要研究方向为可信软件、软件分析。
池剑磊      博士
 计算机科学与技术专业,于2014年9月份入学,主要研究方向为可信软件、基于测试用例的CN应用。
刘沛      硕士
 计算机科学与技术专业,2014年9月入学,研究方向:可信软件。
庄尔悦      硕士
 计算机科学与技术专业,2014年9月入学,研究方向:可信软件。
崔笛      硕士
 计算机科学与技术专业,于2015年9月入学,主要研究方向为可信软件、软件分析、软件度量
陈泽华      硕士
 计算机科学与技术专业,于2015年9月入学,主要研究方向为可信软件、软件错误定位。
郝宇      硕士
 计算机科学与技术专业,于2015年9月入学,主要研究方向为可信软件、程序分析、软件测试。
佟菲菲      硕士
 计算机科学与技术专业,于2015年9月入学,主要研究方向为可信软件、软件错误定位。
金洋旭      硕士
 计算机科学与技术专业,于2016年9月份入学,主要研究方向为可信软件。
刘欣宇      硕士
 计算机科学与技术专业,于2016年9月入学,研究方向:可信软件。
尹文浩      硕士
 计算机科学与技术专业,于2016年9月份入学,主要研究方向为多线程程序测试和验证。