Category: Announcements

  • Yiding Feng gives a lecture on “dynamic decision-making problems in economics”

    香港科技大学(HKUST)的冯逸丁助理教授从2025年12月1日起为我校师生开设为期4天的《经济学中的动态决策问题》短期课程。 本短期课程旨在向研究生介绍在线学习的基本概念、算法与分析工具,并展示这些方法如何被应用于解决经济学中的动态决策问题。本课程向学生讲解了: 不确定性下序列决策的核心框架,包括遗憾(regret)的概念、不同的反馈模型,以及对抗性环境与随机环境之间的区别 在线学习中的关键算法,如 跟随领导者(Follow-the-Leader)、扰动跟随领导者(Follow-the-Perturbed-Leader)、指数加权/对数权重(Hedge) 和 上置信界(UCB) 算法,以及其性能保证。 探索—利用(exploration–exploitation)权衡,以及结构性假设(如 Lipschitz 连续性或情境信息)如何影响算法设计。 学习理论与经济模型之间的联系,包括其在动态定价、在线拍卖、合约设计以及信息设计等问题中的应用。 阅读和分析当前学习理论、算法经济学以及在线优化领域研究论文的基础能力。 冯逸丁,香港科技大学(HKUST)工业工程与决策分析助理教授。当前的研究侧重于在线市场中的算法和策略开发。主要利用在线算法、近似算法、机制设计和信息设计的方法来解决相关问题。

  • We will hold COCOON 2025 from Aug. 15th to 17th, 2025

    The link to the homepage of the conference: https://tcsuestc.com/cocoon2025.

  • Zhiyi Huang offers a short course on “Data-driven mechanism design theory”

    香港大学的黄志毅副教授从2025年6月9日起为我校师生开设为期4天的《数据驱动的机制设计理论》短期课程。 本课程从数据驱动的视角重新审视经典博弈论中的机制设计理论,并介绍相关算法与分析工具。经典博弈论假设参与者的私有信息服从特定分布,且机制设计者完全了解这个分布。然而在现实中,我们只能通过历史数据获得该分布的部分信息。因此,我们需要探讨如何有效利用这些历史数据,以及确定所需的数据量——后者也被称为该问题的样本复杂度(Sample Complexity)。 在本课程中,黄志毅老师系统性地介绍该领域近十年来在算法设计与分析技术上的重要进展,并以拍卖机制设计为切入点,循序渐进地讲解经典学习理论、信息论和博弈论中的核心工具,最终完整解决拍卖机制的采样复杂度问题。此外,在课上还探讨了这些理论方法在合约设计、信息设计和算法设计等领域的应用。 黄志毅目前是香港大学计算机科学系的副教授,在加入香港大学之前,他于2013年至2014年在斯坦福大学从事博士后研究,与Tim Roughgarden合作;于2013年在宾夕法尼亚大学获得博士学位,导师是Sampath Kannan和Aaron Roth;于2008年毕业于清华大学由姚期智创办的第一届“姚班”获得学士学位。他的研究成果主要在于探索不确定性下的序列决策算法(在线算法)、基于不同信息形式的学习理论(学习理论)、激励自利主体共享私有信息的机制设计(机制设计),以及在保密某些信息的同时披露另类信息的技术(差分隐私)。 其研究成果屡获殊荣,包括ESA 2024、FOCS 2020和SPAA 2015等国际顶会最佳论文奖。他还获得国家自然科学基金优秀青年科学基金项目(港澳)、香港研资局早期学术生涯奖、Morris and Dorothy Rubinoff优秀博士论文奖,以及西蒙斯理论计算机科学研究生奖学金等多项荣誉。 上课时间:2025年6月9日-6月12日 8:30 – 11:55 上课地点:立人楼A110

  • Ton Kloks offers a short course on Graph Algorithms

    逻辑与算法团队协议研究员Ton Kloks从2024年6月17日起为我校师生开设为期8天的《图算法导论》短期课程。 在《图算法导论》这门课程中,Ton Kloks从图论概念、算法、问题模型、前沿趋势四个部分带大家进入图算法的世界。由一些图论概念展开,介绍了早期图算法中的一些经典结果,之后对图代数和一元二阶逻辑进行了简要介绍,最后以“树宽”概念为跳板,阐述了相关方向的研究趋势。Ton Kloks教授善于深入浅出,让本科生也有机会了解当前图论和图算法中最重要和最前沿的理论。 本次课程使用的教材是Ton Kloks教授和肖鸣宇教授合著的《A guide to graph Algorithms》(中文:《图算法导论》),该教材在两位作者持续多年的交流和实践中不断地丰富和完善之后,经由国际著名出版社Springer于2022年出版。 Ton Kloks教授曾先后在埃因霍温科技大学、利兹大学、香港中文大学等十余所高校和研究机构担任教师和研究员,具有丰富的研究和教学经验。近年来,应电子科技大学计算机科学与工程学院副院长肖鸣宇教授的邀请,Ton Kloks教授多次前来共同讲授图算法方面的短期课程,曾连续开设了4年,都取得较好的教学效果。 上课时间:2024年6月17日-6月26日 10:20-12:00 上课地点:品学楼B213

  • Our Team Will Hold ALC 2027

    The 19th Asian Logic Conference will be held in autumn, 2027, in Chengdu, China. Organized by the Algorithms and Logic Lab of  University of Electronic Science and Technology of China (UESTC). Professor Bakh Khoussainov will serve as the Chair of the conference. The Asian Logic Conference (ALC) is a major international event in mathematical logic and its applications. It features […]

  • Alexander Zapryagaev joined the group as postdoc

    Alexander Zapryagaev has finally joined the group as postdocs. He works on Formal arithmetics, interpretations and automatic structures.

  • Our Team Will Hold COCOON 2025 and WALCOM 2025

    We recently received news that our Algorithm and Logic group has been granted the hosting rights for two important theoretical computer science conferences: COCOON 2025 and WALCOM 2025. Professor Bakh Khoussainov will serve as the General Chair for both conferences, while Professor Mingyu Xiao will be the PC Co-Chair for both conferences. COCOON (Conference on […]

  • Professor Yuxi Fu will offer a short course on Advanced Computational Complexity

    博士前沿课程-计算复杂性理论 主讲人: 傅育熙,1992年获英国曼彻斯特大学计算机博士学位,1994年起在上海交通大学任职,历任计算机系主任,软件学院院长。是国家杰出青年基金获得者、上海市优秀学科带头人。研究领域为理论计算机科学,内容涉及程序理论、并发理论、等价性验证、可达性理论、交互理论等。学术兼职有:上海高校软件理论研究中心主任、国务院学位委员会第六届学科评议组成员 (2010-2014)、上海市计算机学会理事长 (2015-2018)、教育部计算机类专业教学指导委员会副主任 (2013-2017,2018-2022)。是Mathematical Structuresin Computer Science期刊的编委。傅育熙讲授的 《计算复杂性理论》课程获得“2019年度高校计算机专业优秀教师奖励计划”。 课程包含两部分:一、随机计算与去随机,主要内容包括:随机算法、概率图灵机与BPP、通用哈希函数族、随机游走、扩张图及其显式构造、Reigold定理。二、交互证明系统,主要内容包括:私币交互证明系统、公币交互证明系统、两类交互证明系统的等价性、IP=PSPACE、多证明者交互证明系统。参考教材:《计算复杂性理论》(傅育熙著、清华大学出版社,2023年)。 上课时间: 17-17周,星期一第3-4节 第5-6节 星期二第3-4节第5-6节 星期三第3-4节 第5-6节 星期四第3-4节 第5-6节 星期五第1-4节 上课地点:立人楼A108

  • Binglin Tao will defend her Ph.D. thesis on May 31, 2023

  • Toru Takisaka and Michelle Zhang joined the group as postdocs

    Toru Takisaka and Michelle Zhang have finally joined the group as postdocs. Toru works on probabilstic verification and Michelle works on mechanism design and differential privacy.