报 告 人

黄宇，南京大学教授，博导。

报告时间

2023年04月27日 15：20­—16：00

报告地点

图书信息大楼大数据中心742会议室

报

告

内

容

简

介

个人简介：

黄宇，1997年进入中国科学技术大学学习，于2002年、2007年分别获得学士、博士学位。现任南京大学计算机科学与技术系教授、博士生导师。研究领域为分布式算法、分布式系统软件、软件形式化方法。主持与参与国家自然科学基金项目、国家重大基础研究计划等多项国家级科研项目。在PODC、SRDS、TC、TPDS等国际会议期刊上发表学术论文多篇。2014年获南京大学登峰人才支持计划资助，协助指导的博士论文获得2016、2017年度中国计算机学会优秀博士论文奖，在分布式系统验证方面的研究获得SRDS’22最佳论文奖。

主要内容：

偏序集与格结构在我们平常的学习、生活中有着广泛的应用。更重要的是，它还是计算机科学的重要理论基础之一。本次报告将从偏序集与格结构的基本概念讲起，然后介绍布尔代数的基本概念，最后介绍偏序集在分布式系统的设计与分析中的应用。

承办学院

电子与信息工程学院（大数据学院）

发布日期

2023.04.24

欢迎广大教师、学生参加！