-
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）工业工程与决策分析助理教授。当前的研究侧重于在线市场中的算法和策略开发。主要利用在线算法、近似算法、机制设计和信息设计的方法来解决相关问题。
-
算法与逻辑实验室成功举办COCOON 2025
8月15至17日，第31届国际计算与组合学会议（The 31st International Computing and Combinatorics Conference，COCOON 2025）在成都举行，来自全球20多个国家和地区的百余位专家学者齐聚一堂，共襄盛举。会议由电子科技大学和中国计算机学会共同主办，计算机科学与工程学院（网络空间安全学院）算法与逻辑实验室承办，校长胡俊出席并致辞，实验室Bakh Khoussainov教授担任大会主席，学院副院长肖鸣宇教授和挪威卑尔根大学Fedor V. Fomin教授共同担任程序委员会主席。 胡俊代表学校向来自世界各地的专家学者表示热烈欢迎，并对COCOON 2025召开表示祝贺。他指出，会议所关注的基础性理论研究是人工智能、量子计算等颠覆性技术的基石。在当前全球科技竞争格局下，我们比任何时候都更需要重视基础理论研究，需要“从0到1”的原始创新。希望专家学者携手并进，共同推动理论计算机科学的发展，为人类科技进步贡献智慧力量。 Bakh Khoussainov教授介绍了算法与逻辑实验室团队的基本情况。他指出，该团队自成立以来，始终致力于算法理论与逻辑研究的前沿探索，汇聚了一批来自世界各地的顶尖学者和研究人员，并与多个国家和地区的科研机构建立了长期稳定的合作关系，在近几年取得一系列显著成果。 会议邀请了四位国际著名学者作主题报告。 来自清华大学的图灵奖获得者姚期智教授深入探讨了在人工智能、生物技术和量子计算时代，密码学面临的挑战与机遇，为与会者揭示了密码学在多学科交叉背景下的前沿发展方向。 印度数学科学研究所Saket Saurabh教授聚焦于覆盖和可满足性问题的固定参数近似算法，为解决复杂计算问题提供了新的思路和方法。 加拿大西门菲莎大学Andrei A. Bulatov教授从代数视角出发，为理解计算复杂性理论中的关键问题提供了新颖思路和深刻见解。 美国南加州大学Shang-hua Teng教授深入浅出地探讨了P+P与PSPACE之间的关系，为计算复杂性理论的研究注入了新的活力。 除邀请报告以外，会议还安排了54篇录用论文的分组报告。与会学者踊跃交流，就报告中的核心问题和未来研究方向展开深入讨论，现场学术氛围热烈。这些前沿成果的精彩呈现，不仅为与会者带来了一场学术盛宴，更推动了相关领域的创新与发展。
-
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
-
19th International Conference and Workshop on Algorithms and Computation (WALCOM 2025) Successfully Concludes in Chengdu
From February 28 to March 2, 2025, the 19th International Conference and Workshop on Algorithms and Computation (WALCOM 2025) was successfully convened in Chengdu, China, under the auspices of the Algorithms and Logic Lab. The conference was chaired by Bakh Khoussainov as the General Chair and Mingyu Xiao as the Program Committee (PC) Chair. The conference garnered 71 submissions from […]
-
Honoring the Graduation of Two Exceptional Ph.D. Graduates: Newly Conferred This Fall
We are pleased to announce the successful graduation of two exceptional Ph.D. candidates from the Algorithm and Logic Group at UESTC.Under the guidance of Prof. Mingyu Xiao, they have successfully completed their doctoral programs. Dr. Zimo ShengDissertation Title: Kernelization Algorigms for Graph Deleting and Packing ProblemZimo Sheng earned his bachelor’s degree in Computer Science and […]
-
肖鸣宇教授担任全国计算机科学技术名词审定委员会委员
2024年10月25日，第四届全国计算机科学技术名词审定委员会成立大会在浙江横店的圆明新园成功召开。肖鸣宇教授以其在计算机科学技术领域的卓越贡献和学术影响力，被选为第四届全国计算机科学技术名词审定委员会委员。 全国计算机科学技术名词审定委员会的职责包括制定计算机科学技术学科专业领域科技名词审定工作计划、审定原则和方法，以及审定科技名词等。名词审定工作对于科技领域的术语规范和传播至关重要，它不仅推动科技语言标准化，还促进科技成果共享及国际化传播。肖鸣宇教授的入选，不仅是对他个人学术成就的认可，也是对电子科技大学在计算机科学技术领域影响力的一种肯定。他将为我国计算机科学技术名词的规范化工作带来新的视角和动力，为科技创新和学术交流提供坚实的支撑。 附第四届全国计算机科学技术名词审定委员名单 顾 问： 林惠民 陆汝钤 郑纬民 主任委员： 梅宏 副主任委员：徐宗本 钱德沛 胡事民 陈熙霖 李国良 唐杰 文继荣 王昊奋 委 员（按姓名拼音排序）： 程学旗 高琳 郭兵 黄岚 黄庆明 黄萱菁 李克秋 梁吉业 林俊宇 栾家 马晓星 闵巍庆 宋志坚 孙晓明 唐志敏 田丰 王兴伟 王涌天 王忠杰 肖鸣宇 严明 于合龙 俞凯 於志文 詹乃军 张吉良 张莉 张文强 祝烈煌 委员兼秘书长：林俊宇 副秘书长： 彭鑫 张伟男 孔祥杰 李博涵 […]
-
Celebrating the Graduation of Two Outstanding Ph.D. Students
We are delighted to announce the graduation of two remarkable Ph.D. students from the Algorithm and Logic Lab at UESTC.Under the guidance of Prof. Mingyu Xiao, they have successfully completed their doctoral programs. Dr. Tian BaiDissertation Title: Investigations Concerning Parameterized and Exact Algorithms for the Feedback Set and Related Problems. Tian Bai earned his bachelor’s […]
-
算法与逻辑团队在计算机理论方向多个顶级国际会议上实现突破
近日，电子科技大学计算机科学与工程学院（网络空间安全学院）算法与逻辑团队先后在LICS、CAV等计算机理论方向的CCF A类会议上发表一系列高水平研究成果，这是我校首次在LICS和CAV这两个CCF A类会议上发表论文。 算法与逻辑团队的Bakh Khoussainov教授为通信作者的论文 Defining algorithmically presented structures in first order logic 被计算机理论方向的国际顶级会议LICS 2024接收。LICS全名为ACM/IEEE Symposium on Logic in Computer Science，是理论计算机科学中逻辑方向最顶级的会议，2024年全球283篇投稿中仅接收了72篇（接收率为25%），其中来自中国作者的论文仅此一篇。 此文主要研究是否可以使用一阶逻辑来正式描述算法表示的结构。这一问题的研究可追溯到50～60年前的古老经典问题，该领域的许多著名专家均尝试过解决这个问题，但是始终没有得到很好的解决方案。Bakh Khoussainov教授潜心在该问题上研究了20余年，最终提出了解决这一问题的积极方法。 算法与逻辑团队的Toru Takisaka教授为第一作者、硕士生王长江为第三作者的论文 Lexicographic Ranking Supermartingales with Lazy Lower Bounds 被计算机理论方向的顶级国际会议CAV 2024接收。CAV全名为International Conference on Computer Aided Verification，是形式化认证中最顶级的国际会议之一，该会议关注从理论到具体应用的各方面研究成果，特别是实用的验证工具以及实现它们所需的算法和技术。 这篇论文主要研究的是Ranking Supermartingale（简称RSM）技术，它是一种用于自动验证概率程序几乎必定终止的重要技术。在该论文中，作者提出了第一种系统分析弱非负性条件下RSM稳健性的技术，基于这一技术，该文设计了一个新的RSM变体，其非负性条件明显弱于现有技术中最先进的RSM变体。实验表明，该项新型RSM合成算法相对现有最先进算法，可行性提高了10.4%。 除以上两篇论文之外，算法与逻辑团队还有四篇论文同时被CCF A类会议IJCAI 2024中的规划、优化、约束满足等传统人工智能基础算法领域接收。IJCAI全名为International Joint Conference on Artificial Intelligence，是人工智能领域历史最长、知名度最高的会议之一，其中传统人工智能基础和理论方向是该会议中难度最大、竞争最激烈的方向之一。四篇被接收的论文具体信息如下： 论文 A Fast Algorithm for MaxSAT Above Half Number of Clauses ，第一作者为博士生彭俊强，第二作者为导师肖鸣宇教授。该文研究了最大可满足性问题（Maximum […]
-
我校肖鸣宇教授当选中国计算机学会理论计算机科学专委主任
近日，中国计算机学会（CCF）理论计算机科学专业委员会召开全体会议，选举产生了新一届专委会领导机构，并在北京完成了新老主任交接工作。我校计算机科学与工程学院（网络空间安全学院）肖鸣宇教授当选新一届CCF理论计算机科学专业委员会主任。这是我校老师首次担任中国计算机学会专委会主任一职，将对提升我校在计算机学科的影响力、推动相关学科建设与发展起到积极作用。 中国计算机学会（CCF）是全国一级学会。CCF理论计算机科学专委会成立于1983年，是理论计算机科学方向全国成立最早且规模最大的学术组织，该组织旨在促进国内计算机科学理论的学术研究和交流，推动算法等传统理论方向的发展，开拓新兴的理论方向，促进“理论联系实际”的前沿和交叉研究等。经过多年的建设与发展，目前专委会已成为拥有8个专业学组和3个工作组织的学术性团体。 肖鸣宇目前是计算机科学与工程学院（网络空间安全学院）教授，副院长，算法与逻辑实验室执行主任，国家级实验教学示范中心主任，国家级虚仿实验教学中心主任，中国计算机学会理事和杰出会员。 肖鸣宇教授长期致力于算法、计算理论、图论与图算法、机制设计与算法博弈论等方面的基础理论研究；在国内外是精确算法、参数算法、核心化算法等领域的著名专家，为SAT、最大独立集等多个基本NP难问题设计了当前最佳的精确算法和参数算法；并将算法理论应用于人工智能、工业优化、计算经济、运筹学等领域，且取得了显著成效。近年来在Information and Computation、JCSS、Algorithmica、ACM\IEEE Trans.、AAAI、IJCAI、ICALP、INFOCOM、WWW等算法理论、人工智能基础算法领域顶级期刊和会议上发表论文超过130篇，撰写英文专著1部。
-
We won COCOON 2023 best paper award
In recent days, there has been good news from the 29th International Computing and Combinatorics Conference (COCOON 2023), where a paper titled “Improved Approximation Algorithms for Multidepot Capacitated Vehicle Routing” co-authored by Dr. Zhao Jingyang and Professor Xiao Mingyu from our Algorithms and Logic group has won the “Best Paper Award”. COCOON is an important […]