-
Angsheng Li: 谋算智能:模型、原理与方法
Speaker: () Time: 10:20-11:20 Beijing Time June 29, 2025 (Sunday) Venue: 主楼B1-501 Abstract: Speaker Bio: 北京航空航天大学教授。2003年国家杰出青年基金获得者,2008年中国科学院百人计划入选者。现任中国人工智能学会人工智能基础专业委员会主任。 1993年中国科学院软件研究所研究生毕业,获博士学位。1993年7月-2018年7月在中国科学院软件研究所工作,分别于1995,1999年被聘为副研究员、研究员。分别于1998年1月-1999年1月,2000年2月-2002年2月在英国Leeds大学做访问学者、研究员。2008年9月-2009年3月在美国Cornell大学做访问科学家。2012年1月-2012年3月,英国剑桥大学牛顿数学研究所做访问学者。2018年7月-今,入职北京航空航天大学计算机学院。 研究计算、信息与智能的数学原理。2008 – 2016年,提出编码树的概念、结构熵的度量,创立了《结构信息论》。2016 – 2024,提出信息世界的层谱抽象科学范式,建立了包括信息演算理论、信息生成原理和信息解码原理为三大支柱的信息的数学原理;建立了包括(观察)学习的信息理论、自我意识的信息理论和博弈/谋算理论为三大支柱的人工智能信息科学原理。2024年在科学出版社出版《人工智能科学 — 智能的数学原理》和《人工智能原理 — 从计算到谋算的模型、原理与方法》专著。 目前主要研究“谋算智能机器原理”和“《孙子兵法》的人工智能原理”。
-
Zhiyi Huang: Optimal 4-Approximation for the Correlated Pandora’s Problem
Speaker: () Time: 09:30-10:30 Beijing Time June 13, 2025 (Friday) Venue: 518, Research Building 4 Abstract: Speaker Bio: Zhiyi Huang is an Associate Professor of Computer Science at the University of Hong Kong. Before joining HKU, he was a postdoc at Stanford University from 2013 to 2014, working with Tim Roughgarden. He earned his Ph.D. […]
-
Yiding Feng: On the Efficiency of Fair and Truthful Trade Mechanisms
Speaker: () Time: 16:20-17:20 Beijing Time May 23, 2025 (Friday) Venue: 518, Research Building 4 Abstract: Speaker Bio: Yiding Feng is an assistant professor at HKUST IEDA. Previously, he worked as a principal researcher at the University of Chicago Booth School of Business, and postdoctoral researcher at Microsoft Research New England. He received his Ph.D. […]
-
Andrei Bulatov: Counting Problems, Partition Functions, Statistical Physics, and Computational Complexity
Speaker: () Time: 16:20-17:20 Beijing Time April 25, 2025 (Friday) Venue: 518, Research Building 4 Abstract: Speaker Bio: Dr Bulatov received his PhD in 1995 from the Ural State University in Ekaterinburg, Russia. His early research area was universal algebra and clone theory. When connections between universal algebra and computer science had been discovered, he […]
-
Ziyang Men: Parallel kd-tree with Batch Updates
Speaker: () Time: 16:20-17:20 Beijing Time April 22, 2025 (Tuesday) Venue: 518, Research Building 4 Abstract: Speaker Bio: Ziyang Men is a 3rd-year Ph.D. student at University of California, Riverside, where he is fortune to be supervised by Yihan Sun and Yan Gu. Prior to that, Ziyang received the M.Sc. from University of Copenhagen, and […]
-
Andrei Bulatov: Homomorphism counts and graph equivalence
Speaker: () Time: First Lecture: 17:00-18:00 Beijing Time April 18, 2025 (Friday) Second Lecture: 10:00-11:00 Beijing Time April 20, 2025 (Sunday) Third Lecture: 16:00-17:00 Beijing Time April 23, 2025 (Wednesday) Venue: 518, Research Building 4 Abstract: Speaker Bio: Dr Bulatov received his PhD in 1995 from the Ural State University in Ekaterinburg, Russia. His early […]
-
Giorgos Mousa: Broken Circuit Complex: Introduction and Open Questions
Speaker: Giorgos Mousa Time: 16:20-17:20 Beijing Time March 28, 2025 (Friday) Venue: 518, Research Building 4 Abstract: Speaker Bio: Giorgos Mousa obtained his PhD from the University of Edinburgh, where he worked with Professor Heng Guo in the Laboratory for the Foundations of Computer Science. His research interests include matroid theory, Markov chains, and sampling […]
-
Yi Li: Near-optimal Active Regression of Single-Index Models
Speaker: () Time: 10:20-11:20 Beijing Time March 4, 2025 (Tuesday) Venue: 518, Research Building 4 Abstract: Speaker Bio: Yi Li is an associate professor in the Division of Mathematical Sciences and holds a joint appointment in the School of Computing and Data Science at Nanyang Technological University. His main research interests lie in algorithms for […]
-
Md. Saidur Rahman: Design of Enumeration Algorithms: A Tool to Assist 4IR
Speaker: () Time: 10:30-11:30 Beijing Time February 27, 2025 (Thursday) Venue: 518, Research Building 4 Abstract: Speaker Bio: Dr. Md. Saidur Rahman, a professor (on deputation) of Bangladesh University of Engineering and Technology (BUET) and a fellow of Bangladesh Academy of Sciences, is currently serving as a member of University Grants Commission of Bangladesh. He […]
-
Venkatesan Guruswami: The Parameterized Inapproximability Hypothesis
Speaker: () Time: 9:00-10:00 Beijing Time February 26, 2025 (Wednesday) Venue: 518, Research Building 4 Abstract: Speaker Bio: Venkatesan Guruswami is a Professor of Computer Science and Mathematics at UC Berkeley and senior scientist at the Simons Institute for the Theory of Computing. Venkat received his Bachelor’s degree from the Indian Institute of Technology, Madras, […]