基本信息
夏盟佶  男  硕导  中国科学院软件研究所
电子邮件: mingji@ios.ac.cn
通信地址: 中科院软件所 计算机科学实验室
邮政编码: 100190

研究领域

计数复杂性、张量网络

招生信息

   
招生专业
081202-计算机软件与理论
招生方向
算法和计算复杂性

教育背景

2002-09--2008-07   中国科学院软件研究所   博士
1998-09--2002-07   山东师范大学   学士
学历
   
学位
   

工作经历

   
工作简历
2011-10~2013-10,德国马普信息研究所, 博士后
2009-05~现在, 中国科学院软件研究所, 助理研究员、副研究员
2008-08~2009-04,美国威斯康星大学, 研究助理
社会兼职
   

教授课程

   

专利与奖励

   
奖励信息
(1) 中国科学院软件研究所优秀毕业生, , 研究所(学校), 2008
(2) 中国科学院院长优秀奖, , 研究所(学校), 2008
专利成果
   

出版信息

   
发表论文
(1) Base collapse of holographic algorithms, Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2016, 2016, 第 1 作者
(2) Parameterizing the Permanent: Genus, Apices, Minors, Evaluation Mod 2k, FOCS 2015, 2015, 第 2 作者
(3) Counting K-4-subdivisions, DISCRETE MATHEMATICS, 2015, 第 3 作者
(4) The complexity of complex weighted Boolean #CSP, Journal of Computer and System Sciences, 2014, 第 3 作者
(5) Holographic reduction, interpolation and hardness, Computational Complexity , 2012, 第 3 作者
(6) Computational Complexity of Holant Problems, SIAM Journal on Computing, 2011, 第 3 作者
(7) Dichotomy for Holant* Problems of Boolean Domain, Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, SODA , 2011, 第 3 作者
(8) Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems, Automata, Languages and Programming, 37th International Colloquium, ICALP, 2010, 第 1 作者
(9)  Holographic Algorithms with Matchgates Capture Precisely Tractable Planar #CSP, 51th Annual IEEE Symposium on Foundations of Computer Science, FOCS, 2010, 第 3 作者
(10) Holant problems and counting CSP, Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC, 2009, 第 3 作者
(11) A Theory for Valiant s Matchcircuits, Symposium on Theoretical Aspects of Computer Science, STACS, 2008, 第 2 作者
(12) Computational Complexity of Counting Problems on 3-Regular Planar Graphs, Theoretical computer science, 2007, 第 1 作者
发表著作
   

科研活动

   
科研项目
( 1 ) 计数复杂性的扩展研究, 主持, 国家级, 2011-01--2013-12
( 2 ) 基于一阶符号轨迹计, 参与, 国家级, 2012-01--2015-12
( 3 ) 网络信息空间大数据计算理论, 参与, 国家级, 2014-01--2018-12
参与会议
   

合作情况

   
项目协作单位
   

指导学生