中国足彩-中国足彩官方网站(yb3548.cn)是亚洲优质游戏品牌,综合各种在线游戏于一站式的大型游戏平台,经营多年一直为大家提供安全稳定的游戏环境,中国足彩-中国足彩官方网站值得信赖,期待广大游戏爱好者前来体验,中国足彩-中国足彩官方网站将把最好的游戏体验带给大家!

<menuitem id="3btd3"></menuitem>
<ruby id="3btd3"><i id="3btd3"></i></ruby>
<span id="3btd3"></span>
<strike id="3btd3"><i id="3btd3"></i></strike><ruby id="3btd3"></ruby>
<strike id="3btd3"><i id="3btd3"></i></strike>
<span id="3btd3"><dl id="3btd3"></dl></span>
<strike id="3btd3"></strike>
<strike id="3btd3"><ins id="3btd3"></ins></strike>
<span id="3btd3"></span>
<strike id="3btd3"><dl id="3btd3"></dl></strike><strike id="3btd3"><dl id="3btd3"><del id="3btd3"></del></dl></strike><strike id="3btd3"><i id="3btd3"></i></strike>
<strike id="3btd3"><i id="3btd3"></i></strike>
<ruby id="3btd3"></ruby>
上海市高可信计算重点实验室召开第四届学术委员会第三次会议
发布时间:2020-12-04  阅读次数:1805

2020121日,上海市高可信计算重点实验室第四届学术委员会第三次会议以线上线下(华东师范大学中北校区)结合的方式召开。部分学术委员会委员、华东师范大学校领导、科技处领导、软件工程学院领导及实验室部分人员出席了会议,华东师范大学孙真荣副校长致欢迎辞。

 

出席会议的学术委员和顾问有:王怀民、陆汝钤、陈国良、吕建、钱峰、尹浩、应明生、高小山、蒋昌俊、傅育熙、王晓阳、金芝、缪淮扣、周傲英、王椿芳、张激、张健等?;嵋橛裳跷被嶂魅瓮趸趁裰鞒?。

 

合影

 

会上,实验室常务副主任邓玉欣汇报了实验室一年来的主要工作进展情况,包括实验室研究进展与成果、国内外学术交流、人才培养与引进、实验室运行管理机制,以及实验室下一阶段工作重点与目标等。

 

实验室常务副主任邓玉欣教授作工作汇报

 

实验室成员苏亭、韩莉两位青年教师做了代表性学术成果汇报。

 

 

报告后,委员们对实验室一年来的工作展开了讨论。为实验室今后的发展方向和建设目标提出意见和建议。

 

一年来,实验室在科学研究、队伍建设、国际交流与合作、产学研合作、运行管理等方面取得了显著成绩。在可信计算的理论、方法、技术等方面,特别是在程序语义理论、密码理论、软件形式化建模与验证等方面取得了具有国际影响的进展,在形式化方法解决领域软件的可信性方面取得实际成效,在区块链安全、移动应用软件安全等研究方面开展了有益的探索。实验室获得了上海市科技进步特等奖以及其它奖项。从海内外引进了多名优秀青年人才,强化了实验室人才队伍建设。

 

学术委员会充分肯定了实验室所取得的成绩,并建议在形式化方法的工具研制方面,特别是在可信人工智能软件研究方面进一步开拓创新。

华东师范大学软件工程学院
www.dmsio.com Copyright Software Engineering Institute
院长信箱:yuanzhang@sei.ecnu.edu.cn | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼
中国足彩-中国足彩官方网站古风小说 君子以泽 好看的课外书 古风君子以泽 好看的小说完本推荐 盗墓笔记第二季 唐家三少 好看的电视剧 完美世界前传下载 已完本玄幻小说排行榜 小说 玄幻小说排行榜 <menuitem id="3btd3"></menuitem>
<ruby id="3btd3"><i id="3btd3"></i></ruby>
<span id="3btd3"></span>
<strike id="3btd3"><i id="3btd3"></i></strike><ruby id="3btd3"></ruby>
<strike id="3btd3"><i id="3btd3"></i></strike>
<span id="3btd3"><dl id="3btd3"></dl></span>
<strike id="3btd3"></strike>
<strike id="3btd3"><ins id="3btd3"></ins></strike>
<span id="3btd3"></span>
<strike id="3btd3"><dl id="3btd3"></dl></strike><strike id="3btd3"><dl id="3btd3"><del id="3btd3"></del></dl></strike><strike id="3btd3"><i id="3btd3"></i></strike>
<strike id="3btd3"><i id="3btd3"></i></strike>
<ruby id="3btd3"></ruby>