-
12-10
2025
可计算性、结构与逻辑：Bakh Khoussainov教授特邀学术讲座
2025年12月9日，欧洲科学院院士、新西兰皇家学会会士、中国电子科技大学算法与逻辑实验室主任Bakh Khoussainov教授做客清华大学交叉信息院，带来题为“可计算性、结构与逻辑（Computability, structures, and logic）”特邀报告。交叉信息院院长姚期智教授主持讲座。师生齐聚FIT楼多功能厅，聆听讲座。精彩讲座姚先生首先介绍Bakh Khoussainov教授在数理逻辑与理论计算机科学领域的核心贡献。Khoussainov教授曾荣获欧洲理论计算...
-
12-11
2025
量子算法：量子世界的计算之法
演讲人：李绿周 [中山大学]时间：11:00-12:00, Dec 11, 2025 (Thu)地点：MMW S727内容：量子计算的有用性有赖于量子算法。量子算法的设计具有挑战性，需要在量子视角下找到有利于量子特性发挥作用的结构信息，从而到达返璞归真，大道至简的效果。基于量子计算领域现状，除了要在量子计算硬件方面做出长足努力，也需要进一步发展量子算法基础理论，拓展量子计算能力边界。本报告以量子算法为核心，汇报团队近年来在量子算法设计...
-
12-11
2025
Deciding regular games: a playground for exponential time algorithms
演讲人：Bakh Khoussainov [电子科技大学] 时间：10:00-11:00, Dec 11, 2025 (Thu)地点：RM 1-222, FIT Building内容：Regular games form a well-established class of games for analysis and synthesis of reactive systems. They include coloured Muller, McNaughton, Muller, Rabin, and Streett games. These games are played on directed graphs G where Player 0 and Player 1 play by generating an infinite path ...
-
12-09
2025
Computability, structures, and logic
演讲人：Bakh Khoussainov（University of Electronic Science and Technology of China）时间：14:00-15:00, Dec 9, 2025 (Tue)地点：Lecture Hall, FIT Building内容：In this presentation, we explore the relationships among several fundamental concepts in mathematics and computer science: computability, structures, and logic. Our focus will be on the foundational ideas that underpin these concepts and h...
-
11-28
2025
Local Computation of PageRank: Simple and Optimal
演讲人：Hanzhi Wang [University of Melbourne]时间：14:00-15:00, Nov 28, 2025 (Fri)地点： RM 1-222, FIT Building内容：PageRank is a classic node centrality measure in graphs, originally proposed by the co-founders of Google to rank web pages in their search engine. With the expansion of the web and modern networks, an important problem is the design of local algorithms that estimate a node’s Pa...
-
11-28
2025
量子学百年：从微观结构到宏观量子效应 ——解读2025年诺贝尔物理学奖的科学意义
演讲人：孙昌璞 [中国工程物理研究院研究生院]时间：16:00-17:30, Nov 28, 2025 (Fri)地点：Lecture Hall, FIT Building内容：量子力学诞生百年之际，2025 年诺贝尔物理学奖授予宏观系统量子隧道效应及能级量子化的开创性实验工作。围绕此次获奖果的科学意义，报告人首先从科学发展的逻辑角度回顾量子力学发展的百年历程：第一阶段是“第一次量子化”（1925年-1930年代中期）：对单粒子系统的正则量子化，建立波函数与算符体系...