-
Chao Xu: An Optimal Algorithm for the Stacker Crane Problem on Fixed Topologies
Speaker: () Time: 10:30-12:00 Beijing Time Oct 17, 2024 (Thursday) Venue: 计算所环保园1号楼524会议室腾讯会议号：605 5793 9921，密码：图灵机被提出的年份（4位）B站直播网址：https://live.bilibili.com/22528138 Abstract: Speaker Bio: 许超，电子科技大学计算机科学与工程学院副教授，博士生导师，算法与逻辑团队成员。许超主要从事组合优化和算法的基础研究，在SODA、Mathematical Programming、SICOMP，等组合优化和算法的国际顶级期刊/会议上发表多篇学术论文。现主持国家自然科学基金优秀青年（海外）项目。
-
Bakh Khoussainov: Deciding Regular Games: A Playground for Exponential Time Algorithms
Speaker: () Time: 11:00-11:40 PT July 17, 2024 (Wednesday) Venue: Calvin Lab Auditorium @ University of California, Berkeley Online：Youtube Host： Simons Institute for the Theory of Computing Abstract: Speaker Bio: Bakh Khoussainov，教授，新西兰院士，电子科技大学计算机学院全职教授（我国西部地区引进的第一位发达国家的院士），目前担任电子科技大学算法与逻辑团队主任。他长期从事理论计算机科学中计算与逻辑领域的研究工作，2005年被新西兰最顶尖权威的学术组织——新西兰皇家学会评选为新西兰皇家学会院士，被评价为“在逻辑与理论计算机科学领域的领先专家，工作涉及对可计算性和复杂性理论的深入和非常广泛的研究”。2019年获得德国洪堡研究奖，该奖项旨在授予在基础研究、理论创新、学科引领等方面上取得了卓越成就的研究者。同年他还获得伦敦数学学会与新西兰数学学会联合授予的唯一Aitken Lecturer称号，该荣誉称号每两年仅授予一名最具杰出贡献的新西兰数学家（截至目前仅有包括美国工业与应用数学学会会士（SIAM Fellow）Hinke Osinga教授在内的5位研究者获此殊荣）。2017年他因其对于奇偶博弈问题的突出贡献荣获CCF A类会议ACM STOC 2017年最佳论文奖。他还曾获得新西兰数学学会研究奖，此奖项为新西兰数学领域最高奖，每年仅颁发给一名新西兰数学家，该奖项还曾颁发给包括美国数学学会会士G. Martin, R. Downey教授（AMS Fellow）, M. Conder教授（AMS Fellow）等优秀数学家。
-
肖鸣宇: 智能决策中的打分融合问题/ Score Aggregation in Intelligent Decision-Making
Speaker: () Time: 10:40-11:20 (Time in Beijing) August 10, 2024 (Saturday) Venue: 北京友谊宾馆友谊宫第 8 号会议室 腾讯会议/ VooV Meeting： 409-540-830 Host： Beijing Institute of Technology (BIT) Abstract: Speaker Bio: 肖鸣宇，中国计算机学会理事、理论计算机科学专委员会主任；电子科技大学计算机科学与工程学院教授，副院长，算法与逻辑实验室执行主任，国家级信息与网络安全虚拟仿真实验教学中心主任，国家级计算机实验教学示范中心主任。致力于算法、组合优化、机制设计、算法博弈论等方面的基础理论研究，在精确算法、参数算法、核心化算法等领域是国内外著名的专家，为电路满足问题（SAT）、最大独立集等多个基本NP难问题设计了当前最佳的精确算法和参数算法；并将算法理论应用于人工智能、工业优化、计算经济、运筹学等领域中取得了显著成效。近年来在算法理论、人工智能基础算法领域顶级期刊和会议上以单独作者和主要作者发表论文超过150篇，撰写英文专著1部，主持国家级项目10余项。
-
肖鸣宇: 图多路分割问题的快速精确算法
肖鸣宇 (University of Electronic Science and Technology of China) Time: 09:30-10:30 (Time in Beijing) July 4, 2024 (Thursday) Venue: Online, Tencent Meeting: 547-454-448 Host: Nankai University （南开大学） Abstract: 经典的最小割问题是通过删除图中最少的顶点将图中两个终端顶点分割开来，这个问题的一个自然推广就是将图中多个终端顶点相互分割开来，这就是图多路分割问题(The MultiwayCut Problem)。尽管最小割问题存在快速的多项式算法，但是当需要分割3个或者更多终端顶点的时候，这个问题就变成了NP难的。对图多路分割问题来说，经典的最大流最小割这一对偶性质不存在了，找到一个比简单穷举搜素算法更快的算法也不容易。在无向图上，图多路分割问题目前最好的精确算法可以做到 时间，其中n是图中顶点的个数。在有向图上是否存在比简单穷举算法 时间更快的算法却一直是一个未解决的公开难题。本文将介绍在有向图上如何在时间内解决图多路分割问题。 Speaker Bio: 肖鸣宇，现为电子科技大学计算机科学与工程学院教授，副院长算法与逻辑实验室执行主任;中国计算机学会理事、理论计算机科学专业委员会主任;国家级信息与网络安全虚拟仿真实验教学中心主任国家级计算机实验教学示范中心主任。致力于算法、计算理论、图论与图算法、机制设计与算法博弈论等方面的基础理论研究，为SAT、最大独立集等多个基本NP难问题设计了当前最佳的精确算法和参数算法;并将算法理论应用于人工智能、工业优化、计算经济、运筹学等领域中取得了显著成效。近年来在算法理论、人工智能基础算法领域顶级期刊和会议上以单独作者和主要作者发表论文超过150篇，撰写英文专著1部。主持国家级科研项目10余项。
-
Bakhodyr Khoussainov: On Finitely Presented Expansions of Semigroups, Groups, and Algebras
() Time: 15:00-16:00 (Time in Beijing) November 22, 2023 (Thursday) Venue: Online, Tencent Meeting: 486-877-316 Abstract: Speaker Bio: Bakh Khoussainov，教授，新西兰院士，电子科技大学计算机学院全职教授（我国西部地区引进的第一位发达国家的院士），目前担任电子科技大学算法与逻辑团队主任。他长期从事理论计算机科学中计算与逻辑领域的研究工作，2005年被新西兰最顶尖权威的学术组织——新西兰皇家学会评选为新西兰皇家学会院士，被评价为“在逻辑与理论计算机科学领域的领先专家，工作涉及对可计算性和复杂性理论的深入和非常广泛的研究”。2019年获得德国洪堡研究奖，该奖项旨在授予在基础研究、理论创新、学科引领等方面上取得了卓越成就的研究者。同年他还获得伦敦数学学会与新西兰数学学会联合授予的唯一Aitken Lecturer称号，该荣誉称号每两年仅授予一名最具杰出贡献的新西兰数学家（截至目前仅有包括美国工业与应用数学学会会士（SIAM Fellow）Hinke Osinga教授在内的5位研究者获此殊荣）。2017年他因其对于奇偶博弈问题的突出贡献荣获CCF A类会议ACM STOC 2017年最佳论文奖。他还曾获得新西兰数学学会研究奖，此奖项为新西兰数学领域最高奖，每年仅颁发给一名新西兰数学家，该奖项还曾颁发给包括美国数学学会会士G. Martin, R. Downey教授（AMS Fellow）, M. Conder教授（AMS Fellow）等优秀数学家。
-
Claire Hanen: Fixed Parameter Tractability of scheduling dependent typed tasks with time windows
Speaker: Claire Hanen (Sorbonne Université – LIP6) Time: 14:00 (UTC) November 15, 2023 (Wednesday) Venue: Online, Zoom Meeting： Meeting ID: 981 3280 2131 Passcode: 130657 Abstract: This talk discusses the parameterized complexity of scheduling problems, assuming precedence constraints, time windows and typed tasks resource constraints. We recall the usual parameters used for scheduling problems and […]
-
Chao Xu: 自动化仓储系统的调度问题
Speaker: () Time: 20:00-21:00 (Time in Beijing) September 28, 2022 (Wednesday) Venue: Online, Tencent Meeting: 939-212-933 Abstract: Speaker Bio: 许超于2021年加入电子科技大学计算机科学与工程学院。现任算法与逻辑团队的助理教授。本科就读于美国纽约州立大学石溪分校数学系，于2018年在伊利诺伊大学香槟分校获得计算机博士学位。毕业后曾在多个科技和对冲基金公司担任研发科学家和软件工程师。研究方向为组合优化和算法的基础研究，相关工作发表于SODA, SICOMP, Mathematical Programming等算法和优化的知名会议和期刊。
-
Chao Xu: Minimum Violation Vertex Maps and Their Applications to Cut Problems
Speaker: () Time: 15:00-16:00 (Time in Beijing) August 19, 2022 (Friday) Venue: Online, Tencent Meeting：662-155-517 Abstract: Speaker Bio: Chao Xu is currently an Assistant Professor at Algorithms and Logic Group in UESTC. He obtained a Ph.D. degree of Computer Science at UIUC in May 2018. He works in the field of combinatorial optimization and has […]
-
Chao Xu: A polynomial time algorithm for submodular 4-partition
Speaker: () Time: 17:00-17:30 (Time in Beijing) August 16, 2022 (Tuesday) Venue: Online: https://live.bilibili.com/22051279 https://www.youtube.com/channel/UCkbCc-9vJXb4RZQA0wOPoTw/live Abstract: Speaker Bio: Chao Xu is currently an Assistant Professor at Algorithms and Logic Group in UESTC. He obtained a Ph.D. degree of Computer Science at UIUC in May 2018. He works in the area of combinatorial optimization, algorithms and […]
-
Mingyu Xiao: Solving hard problems with theoretical guarantee
Speaker: () Time: 15:00-17:00 (Time in Beijing) August 10, 2022 (Wednesday) Venue: Abstract: Speaker Bio: 2008年在香港中文大学获得计算机博士学位之后进入电子科技大学工作，现在为电子科技大学计算机学院教授，副院长。主要从事算法分析与设计、机制设计与博弈论、人工智能中的基础算法理论等方向的研究，在Information and Computation、JCSS、Algorithmica、ACM/IEEE Trans.、ICALP、IJCAI、AAAI、WWW、INCOFOM等算法、人工智能领域顶级期刊和会议上发表论文超过100篇，撰写英文专著1部，主持（完成）国家自然科学基金项目5项。是参数算法和精确算法国内外知名的学者。