日前，上海计算机学会发布了上海市计算机学会科学技术奖、教学成果奖、青年科技英才等评选结果公告。经各会员单位积极组织、推荐申报，由上海市计算机学会组织同行专家评审，并经学会奖励工作委员会终审通过，云顶集团官网登录入口多位教师获奖。

邓玉欣教授对并发理论中的经典进程演算和概率进程演算进行了深入研究。在经典进程演算方向，为有限CCS进程提出了统一五种弱同余关系公理化的方法，提炼了一个关于弱互模拟的基本性质，后来被国外学者以“邓引理”（Deng Lemma）的形式写进教科书。在概率进程演算方向，证明了有限概率标号迁移系统上测试语义与模拟语义的一致性，并完成了一部英文专著《Semantics of Probabilistic Processes: An Operational Approach》，对概率进程的互模拟关系作了详细论述，从度量、逻辑、以及算法等角度进行刻画，并深入阐述了有限状态概率系统上测试语义与模拟语义的内在联系与差别。

针对工科人才培养的目标定位不清晰、工科教学理科化而实践不足、工程教育与产业实际脱节、本科生和研究生培养割裂等问题，教育部和相关高校提出了“新工科”的教学改革思路。教师团队在实施综合性高校新工科项目“面向智能系统的卓越IT人才培养体系探索与实践”的基础上，围绕着培养具有“软硬协同、可信智能”特色的系统化能力的高端人才，构建了面向新工科的人才培养体系，搭建了双向交流的产教合作平台，创建了浓厚的学生创新创业环境，实现了面向学术前沿的教研协同、面向产业方向的产教协同和面向学生成长的本研协同。

专业和学科建设成果丰硕，与产业界合作模式多样，学生双创实践竞赛、创业与社会服务成果丰富。

陈铭松同志2010年加入云顶yd2223线路检测，多年来聚焦嵌入式软件与系统可信构造与产业化应用，在系统级规约形式化建模、软硬件协同设计与验证、信息物理系统设计自动化方面开展了长期的研究，取得了极具创新性的成果。在国家重点研发计划项目与国家自然科学基金委重大研究计划重点项目的支持下，其团队围绕开放物理环境的不确定性，研发了多项安全攸关嵌入式控制软件可信构造的关键技术，构建了不确定环境下安全攸关嵌入式软件全生命周期可信构造工具链，并在国有控股轨道交通龙头企业信号系统开展示范应用与推广，产生了较好的经济效益与社会效益。相关研究成果发表在领域多个顶级会议与期刊上，并出版了英文专著2部、中文专著1部、中文教材1本。