您的位置: 首页 - 师大新闻 - 通知通告 - 正文

云南师范大学“校友讲坛”第14讲预告

2020-10-30  

进一步繁荣校园文化,学校创办了云南师范大学“校友讲坛”。讲坛定期邀请已毕业的知名校友回访母校,分享人生经验,传播爱校情怀,为我校青年大学生成长成才创造学习、交流平台,现将“校友讲坛”第14讲预告如下:

时间:2020年10月31日(周六)9:30-11:30

地点:睿智4号楼412报告厅

题目:信息人工智能理论

嘉宾:李昂生



嘉宾简介

李昂生,1964年3月6日出生,1980年9月-1984年7月,云南师范大学数学系基础数学专业毕业,获学士学位, 1985-1988,云南师范大学理论计算机科学专业硕士研究生, 1990-1993年在中国科学院软件研究所研究生,获博士学位,1993年留所工作至今。1995年,1999年分别被聘为中国科学院软件研究所副研究员,研究员。1998-1999在英国Leeds大学做访问学者,2000-2002年在英国Leeds大学做研究员,跟英国著名可计算性理论学家Cooper教授(Turing的学术后代)学习和工作。2008-2009年执行中国科学院爱因斯坦讲席教授回访计划,访问时任图灵奖评奖委员会主席的Hartmanis教授(计算复杂性理论创始人),2012年应邀作为访问研究员访问英国剑桥大学牛顿数学研究所(ISAAC NEWTON INSTITUTE FOR MATHEMATICAL SCIENCES)。

2003年获国家杰出青年基金资助,2008年入选中国科学院百人计划。

李昂生在可计算性理论方面,取得一系列成果,特别地,和英国Cooper合作, 在2008年的论文解决了加拿大著名可计算性理论学家Lachlan 1967年提出的著名难题:Major sub-degree problem。他的研究成果在Proceedings of the London Mathematical Society, Transactions of the American Mathematical Society, Journal of the London Mathematical Society, Israel Journal of Mathematics, Illinois Journal of Mathematics, Annals of Pure and Applied Logic, Journal of Symbolic Logic, Archive for Mathematical Logic, Mathematical Logic Quarterly, Mathematical Structures in Computer Science, Theoretical Computer Science, Internet Mathematics等多种国际刊物发表。

李昂生最近十年的研究兴趣是:网络空间的信息与计算理论,结构信息论与网络算法,取得一系列原始创新成果。 2016年,提出结构信息的度量,创立结构信息论,创建信息处理的数学理论。成果解决Brooks2003提出的计算机科学重大挑战性问题,并同时解决Shannon 1953年提出的建立信息的结构理论的重大科学问题。在信息工程、癌细胞分类、智慧搜索、文本聚类、生物分子结构分析、图像分割与识别、自然语言处理、网络安全性理论与与网络攻防、通信网络理论、机器学习和人工智能理论等方面有重要理论价值与显著应用。在IEEE Transactions on Information Theory, Nature Communications, Royal Society Proceedings A , Mathematical Structures in Computer Science, Theoretical Computer Science, Internet Mathematics, Algorithmica等国际期刊发表一系列论文。

李昂生正在从事的工作是创建以信息为中心的人工智能新理论,信息人工智能,以破解当前以计算为中心的信息处理技术的人工智能体系的根本障碍,创建以信息为中心的博弈论,结构博弈论,以建立体系对抗的数学理论。欢迎我校广大师生积极参与!


信息学院   校友工作办公室


2020年10月30日





上一条:云南师范大学后勤保障服务中心(桶装矿泉水配送服务、床上用品洗涤服务)采购结果公告 下一条:云南师范大学信息学院研究生智慧教室设备采购项目询价公告

关闭

云南师范大学 版权所有 滇ICP备05001257号
云南师范大学党委宣传部、网络与信息中心设计开发.

地址:呈贡主校区:呈贡区雨花片区1号 邮编:650500
一二·一西南联大校区:昆明市一二·一大街298号 邮编:650092