逻辑与算法团队协议研究员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

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 […]

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.

Dr. Jiamou Liu from the University of Auckland visiting our lab from April 11 till the end of May. His research ranges from social networks and multi-agent systems to machine learning and natural language processing. Dr. Jiamou Liu will give a speech on “Establishing Ties” on April 29, 2022.

点击查看2022团队宣讲详细内容

Baoxiang Wang is an Assistant Professor at the School of Data Science, The Chinese University of Hong Kong, Shenzhen. Prof. Wang will give a speech on “Multilinear extension of k[\katex]-submodular functions”on 3 December, 2021.