基本信息
夏盟佶男硕导中国科学院软件研究所
电子邮件： mingji@ios.ac.cn
通信地址： 中科院软件所 计算机科学实验室
邮政编码： 100190
部门/实验室：计算机科学国家重点实验室
研究领域计数复杂性、张量网络

招生信息
招生专业081202-计算机软件与理论

招生方向算法和计算复杂性


教育背景2002-09--2008-07中国科学院软件研究所博士
1998-09--2002-07山东师范大学学士

学历
学位

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

社会兼职

教授课程

专利与奖励
奖励信息（1） 中国科学院软件研究所优秀毕业生, , 研究所（学校）, 2008
（2） 中国科学院院长优秀奖, , 研究所（学校）, 2008

专利成果

出版信息
发表论文（1）Variable-Version Lovász Local Lemma: Beyond Shearer's Bound,58th IEEE Annual Symposium on Foundations of Computer Science,2017,第5作者
（2）Holographic Algorithms with Matchgates Capture Precisely Tractable Planar #CSP,SIAM J. Comput.,2017,第3作者
（3）Base collapse of holographic algorithms,Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2016,2016,第1作者
（4）Parameterizing the Permanent: Genus, Apices, Minors, Evaluation Mod 2k,FOCS 2015,2015,第2作者
（5）Counting K-4-subdivisions,DISCRETE MATHEMATICS,2015,第3作者
（6）The complexity of complex weighted Boolean #CSP,Journal of Computer and System Sciences,2014,第3作者
（7）Holographic reduction, interpolation and hardness,Computational Complexity ,2012,第3作者
（8）Computational Complexity of Holant Problems,SIAM Journal on Computing,2011,第3作者
（9）Dichotomy for Holant* Problems of Boolean Domain,Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, SODA ,2011,第3作者
（10）Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems,Automata, Languages and Programming, 37th International Colloquium, ICALP,2010,第1作者
（11） Holographic Algorithms with Matchgates Capture Precisely Tractable Planar #CSP,51th Annual IEEE Symposium on Foundations of Computer Science, FOCS,2010,第3作者
（12）Holant problems and counting CSP,Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC,2009,第3作者
（13）A Theory for Valiant s Matchcircuits,Symposium on Theoretical Aspects of Computer Science, STACS,2008,第2作者
（14）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

参与会议

合作情况
项目协作单位

指导学生