【预告】理论计算机科学优秀博士生论坛 2020

直播二维码

中国计算机学会理论计算机专委主办的首届“理论计算机科学优秀博士生论坛”，将于2020.11.21（周六）在线上举行。授权蔻享学术进行网络直播。该论坛旨在为理论计算机科学相关领域的博士研究生提供一个展示交流学习的平台。热烈欢迎感兴趣的老师和同学届时莅临~

会议信息

理论计算机科学

优秀博士生论坛 2020

时      间：  

主办单位：  

2020年11月21日（星期六）

中国计算机学会理论计算机科学专业委员会教育工作小组

日程安排

11月21日 上午9:00-11:45 主持人：张智杰
9:00	张天翼	Incremental single source shortest paths  in sparse digraphs
9:30	白宗磊	The approximability of  ferromagnetic 2-spin systems
10:00	包   奇	基于拉普拉斯求解器的 图数据挖掘算法
10:30	茶歇
10:45	李   斌	基于社交网络的 拍卖机制设计理论研究
11:15	王思为	基于后期融合的 大规模多视图算法研究
11月21日 下午14:00-18:00 主持人： 凤维明
14:00	吴步娇	有限辅助比特下 CNOT电路的优化
14:30	张   舒	最长公共样本子序列算法
15:00	张文博	互模拟等价性验证问题研究
15:30	茶歇
15:45	刘明谋	关于简洁数据结构复杂度的 一些研究
16:15	秦旭东	量子程序的互模拟验证
16:45	专题讨论：读博经历与求职经验分享 嘉宾：何 昆、黄棱潇 、刘正阳 、邵 帅 、张驰豪

详细日程请见会议网站：http://tcs.nju.edu.cn/wiki/index.php/TCSPhD2020

论坛嘉宾

张天翼（清华大学）

清华大学交叉信息研究院博士五年级，导师是段然副教授，研究方向是图论算法与数据结构。

白宗磊（北京大学）

Zonglei Bai is a Ph.D student in Department of Computer Science and Technology, Peking University, and he is supervised by Professor Hanpin Wang. His research focuses on approximation algorithms for counting and sampling problems. Typical problems include computing marginal probabilities and expectations of random variables, the evaluation of partition functions, etc.

包奇（复旦大学）

包奇，复旦大学计算机科学技术学院博士研究生，本科毕业于复旦大学，在 TCS 和 ICDM（2019）上以第二作者的身份发表过两篇论文。

李斌（电子科技大学）

李斌，电子科技大学2017级博士生。2015年毕业于重庆邮电大学智能科学与技术专业，获学士学位。主要研究兴趣是不完美信息下的多方最优决策（如机制设计，拍卖理论等），以及多智能体交互场景下的算法设计与实现。研究成果发表在多个传统人工智能顶级会议上，如AAAI, IJCAI, AAMAS等。

王思为（国防科技大学）

王思为，国防科技大学计算机学院博士在读，主要研究兴趣为多视图融合、深度无监督学习和缺失信息学习等。发表CCF-A类论文4篇，担任人工智能领域顶级会议和期刊AAAI, IJCAI, CVPR, ICME, TCYB, TNNLS, TIP等审稿人。

吴步娇（中科院计算所）

吴步娇，中国科学院大学计算技术研究所博士在读，导师是孙晓明研究员。主要研究方向为量子计算，量子电路优化与经典验证。曾在SODA, TPDS, Science Bulletin等国际知名会议和期刊上发表论文。

张舒（山东大学）

张舒，山东大学在读博士生，本科毕业于山东大学软件学院，现于山东大学计算机科学与技术学院攻读博士学位。目前主要研究领域为计算生物方面的基因组序列的重组、分析、比较相关问题，包括参数算法及近似算法设计、计算复杂性证明。

张文博（上海交通大学）

张文博，上海交通大学BASICS实验室在读博士生，师从傅育熙教授。本科毕业于东南大学。目前的主要研究领域为理论计算机科学，包括形式化验证，自动机理论，进程演算等。

刘明谋（南京大学）

刘明谋，南京大学博士生，导师尹一通和姚鹏晖，主要研究兴趣为数据结构复杂度。论文发表于STOC, ICALP和SPAA, 获得SPAA2016杰出论文奖。

秦旭东（华东师范大学）

秦旭东，华东师范大学软件工程学院在读博士研究生，导师是华东师范大学软件工程学院邓玉欣教授。目前的研究方向为形式化方法，主要的内容为量子程序的形式化验证。

何昆（深圳大学）

Kun HE received his Ph.D. degree from the Institute of Computing Technology, Chinese Academy of Sciences in 2019. Currently he is a postdoctoral researcher in Shenzhen University. His research interests lie in theoretic computer science, with an emphasize on probabilistic method and sampling.

黄棱潇（华为TCS实验室）

Lingxiao Huang is a researcher of computer science at Huawei TCS Lab. Before he was a postdoc of computer science at Yale University from 2019 to 2020 and was a postdoc of computer science at EPFL from 2017 to 2019, after received his Ph.D. in IIIS, Tsinghua University. His current research interest is algorithm design and computational social choice. He is passionate about creating novel algorithms that are motivated by existing practical challenges.

刘正阳（北京理工大学）

刘正阳，北京理工大学计算机学院助理教授。分别于2013年和2018年在上海交通大学获得本科与博士学位。研究方向包括算法博弈论与复杂性，主要成果发表在STOC, CCC以及AAAI, AAMAS. 曾多次担任国际期刊和会议的程序委员会成员和审稿人。

邵帅（牛津大学）

Shuai Shao recently completed his Ph.D. at University of Wisconsin-Madison, advised by Professor Jin-Yi Cai. His Ph.D. thesis focuses on the complexity classification of Holant problems. In particular, He is thrilled to explore the connections between Holant problems and quantum theory. He is also interested in the decision version of Holant problems, known as edge-CSP, and approximation algorithms for counting problems. He is going to do a postdoc at Oxford.

张驰豪（上海交通大学）

Chihao Zhang is an Assistant Professor in John Hopcroft Center for Computer Science at Shanghai Jiao Tong University. He is also a member of Basic Studies in Computing Science Lab (BASICS) at Shanghai Jiao Tong University. He obtained a PhD degree from Department of Computer Science and Engineering, Shanghai Jiao Tong University in 2016, under the supervision of Prof. Yuxi Fu and Prof. Pinyan Lu. After that, he stayed in Institute of Theoretical Computer Science and Communications, The Chinese University of Hong Kong as a postdoctoral fellow from 2016 to 2018.

论坛主持

张智杰（中科院计算所）

Zhijie Zhang is a Ph.D student from Institute of Computing Technology, Chinese Academy of Sciences, under the supervision of Professor Jialin Zhang. Previously, he received his bachelor degree from Nankai University. His research interest includes combinatorial optimization and design of approximation algorithms.

凤维明（南京大学）Weiming Feng is a PhD student in the theoretical computer science group at Nanjing University, under the supervision of Professor Yitong Yin. His research mainly focuses on sampling and counting algorithms and theory of distributed computing.

为满足更多科研工作者的需求，蔻享平台开通了各科研领域的微信交流群。进群请添加微信18019902656（备注您的科研方向）小编拉您入群哟！蔻享网站www.koushare.com已开通自主上传功能，期待您的分享！

---

欢迎大家提供各类学术会议或学术报告信息，以便广大科研人员参与交流学习。

联系人：李盼 18005575053（微信同号）戳这里，观看精彩直播哟