Category: News

  • 算法与逻辑团队在理论计算机科学领域顶级期刊Information and Computation上发表研究成果

    近日,我校计算机科学与工程学院(网络空间安全学院)算法与逻辑团队2021级博士生彭俊强以第一作者身份在CCF理论计算机科学领域A类期刊Information and Computation (I&C)上发表题为《Further improvements for SAT in terms of formula length》的论文。论文第二作者和通讯作者为肖鸣宇教授。  该论文研究了著名的布尔可满足性问题(SAT问题)的算法与计算复杂性,得到该问题精确求解中,以问题输入CNF公式的总长度L为度量的当前最佳运行时间上界,改进了十余年前Chen和Liu于2009年给出的结果。本文给出的时间运行界和历史上该问题的运行时间界如表1中所示。 SAT问题是第一个被证明的NP完全问题,在计算复杂性理论里扮演着重要角色,也在人工智能、运筹学和电子设计工程等众多领域中有着重要且基础的应用。该经典问题的运行时间上界在过去几十年里一直被深入研究。作者们通过设计新的分支算法,并运用测量治之(Measure-and-Conquer)的分析技术深入分析,最终取得了这项突破。 彭俊强同学为计算机(网安)学院2021级直博研究生。他从本科阶段开始进入算法与逻辑团队学习,在肖鸣宇教授的指导下从事SAT及其相关问题的研究工作。在博士学习的前两年已经发表两篇CCF A类和一篇CCF B类论文。 算法与逻辑团队由欧洲科学院院士、新西兰院士Bakh Khoussainov教授和肖鸣宇教授共同组建,周毅副教授、郝东副教授和许超助理教授、日籍Toru Takisaka副研究员等多位老师参与。该团队致力于基础理论研究,以探索算法难题和解决重要的科学问题为宗旨,激发和培养学生及青年老师对算法和基础理论的兴趣,为算法及相关研究方向感兴趣的师生提供一个交流平台。团队目前重点关注的研究方向包括:算法设计与分析(包括近似算法、参数算法、精确算法、在线算法等)、逻辑、图论与图算法、组合优化、算法工程、机制设计与算法博弈论、形式化方法与认证等。 团队以科研育人为首要任务,培养出了众多优秀的学生。近两年本科生第一作者在WWW、IJCAI、SODA、COCOON、Discrete Mathematics等CCF A类会议和重要刊物上发表5篇论文。除论文外,团队学生还在多项科技竞赛中斩获重要奖项,仅2023年上半年就获得2023年华为软件精英挑战赛全球总决赛冠军,2023年全国大学生数学竞赛(非数学类)全国第一名,IEEE极限编程竞赛世界第四名(第五次进入世界前十名)等。 论文链接:https://www.sciencedirect.com/science/article/pii/S0890540123000883

  • Prof. Bakh Khoussainov’s talk at Beijing Logic Meeting

    Prof. Bakh Khoussainov is an invited speaker at Beijing Logic Meeting. See http://www.amss.cas.cn/xshy/202304/t20230417_6739972.html for details.

  • 实验室学生勇夺大学生数学竞赛全国第一名

    最近,从中国数学会传来好消息,算法与逻辑团队2019级本科生史可同学在第14届全国大学生数学竞赛决赛中以总分97.5分勇夺全国非数学专业第一名。据悉本次竞赛有来自全国1024所高校的23万多学生参加。在众多优秀选手中获得全国第一名实属不易。 史可同学在算法与逻辑团队学习的一年多时间里,科研方面也取得了突出的成绩,完成了两篇论文,其中一篇被算法领域顶级会议SODA 2023接收。

  • 祝贺!算法与逻辑实验室教授当选欧洲科学院院士!

    近日,欧洲人文和自然科学院(Academia Europaea,简称“欧洲科学院”)发布2023年新增院士名单,电子科技大学计算机科学与工程学院(网络空间安全学院)Khoussainov Bakhadyr教授当选。 Khoussainov Bakhadyr教授,新西兰皇家学会院士,国家人才计划入选者。现任电子科技大学计算机科学与工程学院(网络空间安全学院)算法与逻辑实验室负责人。 算法与逻辑团队成员Khoussainov Bakhadyr教授长期从事理论计算机科学中计算与逻辑领域的研究工作,研究方向包括逻辑与计算,已在理论计算机科学领域发表了160余篇具有国际影响力的高水平国际期刊/会议论文,其卓越的学术成就得到国际学术界的广泛认可,于2021年获得Nerode Prize,2019年获得德国洪堡研究奖,2017年荣获STOC会议最佳论文奖(STOC在整个计算机科学领域享有崇高声望)。2002年获得新西兰数学学会研究奖,2019年获得伦敦数学学会与新西兰数学学会联合授予的唯一Aitken Lecturer称号。 Bakh教授给博士生上“计算机科学中的数学基础”课程 Khoussainov Bakhadyr教授于2021年全时全职加入电子科技大学计算机科学与工程学院(网络空间安全学院),是学院首位全时全职引进的海外院士。现已组建了一支6人规模“小而精”的研究团队,其中团队成员50%为外籍学者。主持了包括国家自然科学基金、德国洪堡研究基金、新西兰皇家学会Marsden基金等在内的多个国内外项目。 欧洲人文和自然科学院(简称“欧洲科学院”)是欧盟的“国家科学院”和法定科学顾问,由英国皇家学会与欧洲各国的国家科学院共同发起并于1988年成立,总部位于英国伦敦。作为国际上跨地域和学术领域最广泛、学术地位最高、影响最大的科学组织之一,欧洲科学院的院士包括自然科学、生命科学、社会科学、人文科学等领域的顶级学者,主要在欧洲各国的院士中遴选,代表着欧洲人文和自然科学界最高的科学水平和学术地位。

  • 冠军+季军!算法与逻辑团队学子在2023华为软件精英挑战赛全球总决赛中再创佳绩

    4月23日,2023华为软件精英挑战赛全球总决赛在深圳华为总部举行,肖鸣宇教授指导的“_______(下划线)队”夺得了全球总决赛冠军,CHAO XU教授指导的“划水小队不划水队”夺得了全球总决赛季军,创造学校参赛以来历史最好成绩。

  • Prof. Bakh Khoussainov’s talk at Fifth Workshop on Digitalization and Computable Models

    Prof. Bakh Khoussainov is an invited speaker at Fifth Workshop on Digitalization and Computable Models (WDCM2023), see https://sites.google.com/view/wdcm2023/home/invited-speakers for the details.

  • Prof. Bakh Khoussainov’s talk at Asian Logic Conference

    Prof. Bakh Khoussainov is an invited speaker at Asian Logic Conference, see https://logic.nankai.edu.cn/alc2023/ for the details.

  • Two teams from our lab got through to the final of the CodeCraft2023 Competition

    Recently, the results of the regional semi-final of the CodeCraft2023 Competition (2023华为软件精英挑战赛) were announced. Two teams from our lab qualified for the final, with one team ranking 1st and the other ranking 2­nd. The final is scheduled to take place on April 22nd. The first team consists of three students from our lab: Junqiang Peng […]

  • Special Report from UESTC News on Reform and Exploration of High-quality courses for doctoral students in the School of Computer Science and Engineering

    【研究生精品课程】构建博士生资格课程,紧扣“前沿”驱动核心,探索高端人才培养模式 ——计算机科学与工程学院一流研究生课程体系的改革与探索 链接:https://news.uestc.edu.cn/?n=UestcNews.Front.DocumentV2.ArticlePage&Id=87921 February 20, 2023

  • Associate Professor Yi Zhou of received the “CCF-Huawei Poplar Forest Fund” Class A Funding

    9 月 29 日,首届“CCF(中国计算机协会)-华为胡杨林基金理论计算机科学专项”资助项目结果揭晓,来自我校计算机科学与工程学院的周毅副教授的项目“基于 k-plex 的松弛团提取算法的理论与技术研究”获得了 A 类资助。