上海市高可信计算重点实验室始建于2007年12月，2009年7月经上海市科委批准正式运行，2011年、2014年、2017年在上海市重点实验室评估中连续三连冠荣获评估“优秀”。
实验室依托华东师范大学，先后成立计算机理论研究所、海量信息研究所、密码与安全研究中心，同时下设可信计算理论研究室、符号计算研究室和海量计算研究室。
实验室由中国科学院院士何积丰教授担任主任，中国科学院院士周巢尘教授担任学术委员会主任。实验室现有固定研究人员45名，包括中国科学院院士1名，长江学者1名、国家杰出青年基金获得者3名，上海市优秀学科带头人、上海市曙光学者、上海市浦江人才以及上海市青年科技启明星等多人。
实验室以当前计算机科学和软件工程领域提出的可信计算和安全软件的基本问题为背景，面向国家发展软件产业的战略需求和上海市地方经济的重点需求，确立了高可信计算理论、可信软件构造平台和可信计算应用等为主攻方向，进行可信计算理论与软件开发技术的基础研究。
实验室通过公开招聘吸引国内外优秀的人才，通过中长期国际合作项目、举办国际会议、引进外籍专家和博士后来实验室长期工作提高国际化，通过开放课题、资源共享鼓励学术交流，通过暑期班、国外联合培养研究生加快人才培养，借鉴国外研究先进管理制度和运行机制，实现国际合作研究、流动人员、邀请访问交流、讲学、暑期学校等灵活的人才和交流机制，使实验室成为上海市高可信计算领域的学术研究、交流及高科技人才培养的重要基地，成为国际一流的可信计算研究和应用中心。
上海市高可信计算重点实验室召开第四届学术委员会第一次会议
（选举学术委员名单）2018-12-21
序号 | 姓名 | 学委会 职务 | 从事专业 | 工作单位 |
1 | 王怀民 | 主任 | 计算机软件，信息安全 | 国防科技大学 |
2 | 傅育熙 | 委员 | 并行计算机理论模型及其应用、新型语言的语义问题 | 上海交通大学 |
3 | 高小山 | 委员 | 数学机械化，符号计算, 自动推理，信息安全，智能软件开发 | 中国科学院数学与系统科学研究院 |
4 | 何积丰 | 委员 | 高可信计算、形式化方法、并发程序设计理论、嵌入式系统设计方法和工具 | 华东师范大学 |
5 | 蒋昌俊 | 委员 | 计算机软件与理论 | 东华大学 |
6 | 金芝 | 委员 | 软件工程 | 北京大学 |
7 | 李宣东 | 委员 | 软件工程 | 清华大学 |
8 | 李志斌 | 委员 | 非线性系统中的符号计算问题、信息安全、图象处理 | 华东师范大学 |
9 | 缪淮扣 | 委员 | 人工智能、软件形式方法、软件工程 | 上海大学 |
10 | 钱锋 | 委员 | 工业自动化 | 华东理工大学 |
11 | 王小云 | 委员 | 密码安全 | 清华大学 |
12 | 王晓阳 | 委员 | 数据信息处理及应用（数据库、数据挖掘、大规模数值运算、云计算等），可信计算（计算机安全及私密） | 复旦大学 |
13 | 吴建平 | 委员 | 计算机科学与技术 | 清华大学 |
14 | 尹浩 | 委员 | 网络通信 | 总参第六十一研究所 |
15 | 应明生 | 委员 | 计算机软件与理论 | 中国科学院软件研究所 |
16 | 周傲英 | 委员 | 海量数据分析、Web数据管理、Web服务、对等计算系统 | 华东师范大学 |
17 | 查宏远 | 顾问 | 计算机科学与技术 | 华东师范大学 |
18 | 陈国良 | 顾问 | 并行算法、高性能计算 | 中国科学技术大学 |
19 | *** | 顾问 | 数据挖掘 | 华东师范大学 |
20 | 陆汝钤 | 顾问 | 人工智能，知识工程和基于知识的软件工程 | 复旦大学 |
21 | 吕 建 | 顾问 | 软件形式化与自动化、面向对象方法与技术、软件agent技术及其应用和Internetware方法学与平台 | 南京大学 |
22 | 梅宏 | 顾问 | 计算机软件 | 北京大学 |
23 | 王椿芳 | 顾问 | 信息安全 | 中国人民解放军61486部队 |
24 | 杨路 | 顾问 | 定理机器证明、数学机械化与推理自动化、计算代数几何特别是计算实代数几何、及其在信息技术领域的应用如程序验证 | 华东师范大学 |
25 | 张激 | 顾问 | 信息安全 | 中国电子科技集团公司第32研究所 |
26 | 张景中 | 顾问 | 计算机科学、数学等 | 中国科学院成都计算机应用研究所 |
27 | 周巢尘 | 顾问 | 形式化方法 | 中国科学院 |
28 | *** | 顾问 | 计算机科学与技术 | 华东师范大学 |