Algorithms and Logic Group

Category: Announcements

  • 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.

  • Dr. Jiamou Liu from the University of Auckland visiting our lab from April 11 till the end of May

    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研究生招生宣讲

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

  • Prof. Baoxiang Wang’s Visit from 1 to 5 December, 2021

    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.

  • Prof. Yu Liang’s Visit on 1 November, 2021

    Liang Yu is a full professor in Nanjing University. Prof. Yu will give a speech on “On the reals weakly low for K[\katex]” on 1 November, 2021.