Category: Uncategorized

  • Zhongsheng Wang: Creative Intelligence: Applications of Large Language Models in Data Generation and Reasoning

    Speaker: Zhongsheng Wang Time: 15:00-17:00 Beijing Time Dec 19, 2024 (Thursday) Venue: 518, Research Building 4 Abstract: Large language models (LLMs) are widely used in data generation and reasoning. This talk covers the basic concepts, advantages, development history, and pre-training and fine-tuning process of LLMs, and focuses on some of the speaker’s work: the combined […]

  • Andre Nies: Prime numbers, factorisation, and algorithms

    Speaker: Andre Nies (The University of Auckland) Time: 16:20-17:20 (Time in Beijing) April 19, 2024 (Friday) Venue: 518, Research Building 4 Abstract: Euclid in around  300 BC proved that the sequence of prime numbers is infinite. This sequence starts 2,3,5,7,11, 13, …; the largest currently known prime number  is  obtained by raising 2 to the […]

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

  • 算法与逻辑团队本科生在理论计算机科学领域重要会议COCOON上发表研究成果

    近日,我校计算机科学与工程学院(网络空间安全学院)计算机科学与技术专业2020级本科生田康毅以第一作者身份在CCF理论计算机科学领域B类会议COCOON上发表题为《Parameterized Algorithms for Cluster Vertex Deletion on Degree-4 Graphs and General Graphs》的论文。计算机(网安)学院算法与逻辑团队的肖鸣宇教授为第二作者和通讯作者,加拿大里贾纳大学的Boting Yang教授为第三作者。 该论文研究了著名的聚类点删除问题(CVD问题)的算法与计算复杂性,得到该问题精确求解中,以点删除集大小k为参数的最佳运行时间上界,改进了Tsur于2021年给出的结果。本文给出的时间运行界和历史上该问题的运行时间如表1中所示。 CVD问题是图算法中一个著名的NP难问题,该问题问是否能通过删除图中不超过k个顶点使得剩下图中每一个连通块都是一个完全图。由于CVD问题良好地刻画了聚类的性质,该问题在机器学习和计算生物学中有着广泛的应用。本论文首先针对低度图上的CVD问题进行了分析,在度数不超过4的图上先设计了一个快速的算法;然后在4度图的结果基础上,使用自动生成搜索树(Automated Generation of Searching Trees)的技术对一般图进行了深入分析,最终改进该问题当前最好的算法。 田康毅同学从大一开始进入算法与逻辑团队学习,在肖鸣宇教授的指导下从事参数算法与核心化算法相关方向的研究工作,已经研究获得多项科研成果,形成学术论文两篇。

  • 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