 |
| |
研究部介绍: |
|
|
信息系统安全研究部是清华信息科学与技术国家实验室下设的一个研究机构，其研究载体包括信息系统安全教育部重点实验室和中法嵌入式软件建模验证联合实验室及数据服务与管理研究中心，其目标就是解决软件系统的可信性问题，为我国软件产业的发展提供理论、技术和人才支撑。
研究部下设4个研究团队，分别在可信无线网络、可信软件、可信计算、可信数据与服务四个方向开展理论研究、技术开发和人才培养工作。
|
|
可信无线网络:
该团队重点研究各种无线自组织网络的组网模式，自组织网络的可靠性、安全性和可用性。已经与其它院校合作研发出了规模超过1000个节点的无线自组织传感网系统绿野千传(GreenOrbs)和基于WiFi的规模超过100个节点的校园社会网系统。
|
|
主要研究人员:
|
刘云浩
清华大学信息科学与技术国家实验室 特聘研究员
研究方向：分布式系统与无线网络
|
罗平
清华大学软件学院 副教授
研究方向：信息安全、网络漏洞与攻击
|
赵曦滨
清华大学软件学院 讲师
研究方向：信息系统安全、企业信息化技术
|
万志国
清华大学软件学院 讲师
研究方向：网络安全、安全与隐私、无线安全
|
|
可信软件:
该团队重点研究可信软件的构造、信息模型的建模、可信软件的度量和验证中涉及的软件理论及各种工具的研发。基于目前承担的国家自然科学基金重点课题，提出了面向领域的软件系统建模语言和工具——EDOLA、面向嵌入式软件的可信软件建模与验证平台的原型。
|
|
主要研究人员:
|
顾明
清华大学软件学院 教授
研究方向：软件系统信息模型的构造方法及可信性
|
罗贵明
清华大学软件学院 教授
研究方向：系统辨识、软硬件系统的形式化验证、模型检测
|
覃征
清华大学软件学院 教授
研究方向：软件体系结构、信息处理与信息融合
|
支志雄
清华大学软件学院 教授
研究方向：软件服务建模与度量
|
向东
清华大学软件学院 教授
研究方向：并行/分布式计算
|
张宏宇
清华大学软件学院 副教授
研究方向：软件质量工程, 软件度量和软件重用
|
贺飞
清华大学软件学院 讲师
研究方向：模型检测的基础理论与算法实现、组合优化算法设计与分析
|
荔建琦
清华大学软件学院 博士后
研究方向：形式化方法、定理证明和程序验证
|
|
可信计算:
该团队重点研究软件系统中算法的构造及其可信性保证，包括计算程序算法、分析程序算法、显示程序算法、安全体系密码计算等。目前已完成面向母线行业的语义驱动的造型、分析、管理及服务一体化系统。
|
|
主要研究人员:
|
雍俊海
清华大学软件学院 教授
研究方向：计算机辅助设计、计算机辅助几何设计、图形学、计算机动画、软件工程
|
张慧
清华大学软件学院 副教授
研究方向：计算机辅助设计与图形学
|
陈莉
清华大学软件学院 副教授
研究方向：科学计算可视化、计算机图形学、并行算法、高性能计算、网格计算
|
樊海宁
清华大学软件学院 副教授
研究方向：密码计算，计算复杂性，信息安全
|
刘玉身
清华大学软件学院 副教授
研究方向：建筑信息模型（BIM）、非刚性三维模型检索、生物信息学
|
王斌
清华大学软件学院 副教授
研究方向：计算机图象学
|
|
可信数据与服务:
该团队重点研究非结构化数据服务与管理的核心技术，面向国家重大需求研制非结构化海量数据服务与管理系统。具体研究内容包括：1）海量非结构化数据管理、分析及挖掘；2）依托新型计算环境实现海量非结构化数据多样化管理、分析及挖掘技术的高效统一来获取充分、精准的知识；3）依托新型计算环境，基于以上数据管理、分析和挖掘中的创新技术，面向新型网络数据服务应用，研发高效、精准的数据服务系统；4）高质数据服务及管理系统实现核心技术。
|
|
主要研究人员:
|
王建民
清华大学软件学院 教授
研究方向：数据与过程管理
|
叶晓俊
清华大学软件学院 副教授
研究方向：服务系统性能工程
|
靳晓明
清华大学软件学院 副教授
研究方向：流数据挖掘与管理
|
丁贵广
清华大学软件学院 副教授
研究方向：图像与视频数据管理
|
张力
清华大学软件学院 副教授
研究方向：企业数据管理
|
李春平
清华大学软件学院 副教授
研究方向：文本数据挖掘
|
刘璘
清华大学软件学院 副教授
研究方向：数据服务及需求工程
|
刘强
清华大学软件学院 副教授
研究方向：服务系统工程
|
王朝坤
清华大学软件学院 讲师
研究方向：音乐数据挖掘与数据安全
|
闻立杰
清华大学软件学院 讲师
研究方向：流程数据挖掘及其管理
|
| |
|
|
|
.jpg){kind=small}
