-
算法与逻辑团队在理论计算机科学领域顶级期刊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 2nd. 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 类资助。