理论计算机科学(TheoreticalComputerScience,TCS)是计算机科学的理论根基,旨在使用数学工具探索计算的本质和界限,并为计算机专业问题找到严格的、具有思维创新性的解。
中国大陆理论计算机领域研究团队很少,国内绝大多数高校开不出来理论计算机相关课程。南大具有深厚的基础学科的土壤,即使是计算机学科,也很注重基础理论,在理论计算机、程序语言设计等领域都有实力雄厚的团队,今天就为大家介绍尹一通教授所带领的理论计算机团队。
尹一通教授
南大理论计算机组主页:TCSNJU介绍:南大理论计算机组是国内目前为数不多的在理论计算机科学(TheoreticalComputerScience)这一计算机科学最根本的方向上持续做出世界一流科研成果的研究组之一。研究组成员目前已在理论计算机科学的国际一流期刊JACM、SICOMP、IANDC、TIT和国际一流会议STOC、FOCS、SODA、ICALP、CCC、PODC、SPAA、CCS发表论文数十篇。研究组成员的成果曾获得SODA、ICALP、SPAA、WG等理论计算机科学国际一流会议的最佳论文或优秀论文奖。
研究方向:
Algorithms:图论算法、随机算法、参数算法、采样与计数算法
BigData:数据结构、分布式与并行计算理论
Complexity:计算复杂性理论、精细复杂性、参数复杂性、通信复杂性
Quantum:量子算法、量子计算复杂性理论、量子信息论与量子通信复杂性
指导教师(姓氏字母序):
1.林冰凯教授(青年QR,Ph.D.,UniversityofTokyo,)
开课:组合数学、计算复杂性
林冰凯于年博士毕业于东京大学。研究方向为理论计算机科学,具体领域是现代计算复杂性理论中的参数复杂性(parameterized