时 间: 2019年11月19日 9:30
孙猛,北京大学数学科学学院信息与计算科学系教授,博士生导师.主要研究领域为软件理论和形式化方法,近年来的工作主要包括:协调模型和语言,余代数理论及其应用,模型检验,定理证明,软件测试,信息物理融合系统,面向服务与云计算,区块链智能合约的建模与验证,大数据分析,机器学习与深度学习的理论基础及相关技术在形式化验证中的应用.主持及作为主要成员参加国家及省部级项目十余项,在IEEE Transactions on Software Engineering,Theoretical Computer Science,Science of Computer Programming,ICSE,FSE,FM等国际期刊及会议发表论文80余篇,获TASE 2015等多个国际会议最佳论文奖,担任国际会议ICFEM 2018,TTSS 2011,FACS 2009程序委员会主席,FM 2019,TACAS 2019等60余个国际会议程序委员会委员.
欢迎感兴趣的老师和同学前来参加!