1、招生信息2、教育背景3、工作经历4、教授课程5、专利与奖励6、出版信息7、科研活动8、合作情况9、指导学生
基本信息
夏盟佶 男 硕导 软件研究所
电子邮件：mingji@ios.ac.cn
通信地址：中科院软件所 计算机科学实验室
邮政编码：


研究领域
招生信息

招生专业 计算机软件与理论



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


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


学历

学位
工作经历

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


社会兼职
教授课程
专利与奖励

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


专利成果
出版信息

发表论文 （1） Dichotomy for Holant* Problems of Boolean Domain，Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, SODA ，2011，第3作者
（2） Computational Complexity of Holant Problems，SIAM Journal on Computing，2011，第3作者
（3）Holographic Algorithms with Matchgates Capture Precisely Tractable Planar #CSP，51th Annual IEEE Symposium on Foundations of Computer Science, FOCS，2010，第3作者
（4） Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems，Automata, Languages and Programming, 37th International Colloquium, ICALP，2010，第1作者
（5） Holant problems and counting CSP，Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC，2009，第3作者
（6） A Theory for Valiant s Matchcircuits，Symposium on Theoretical Aspects of Computer Science, STACS，2008，第2作者
（7） Computational Complexity of Counting Problems on 3-Regular Planar Graphs，Theoretical computer science，2007，第1作者


发表著作
科研活动

科研项目 （1） 计数复杂性的扩展研究，主持，部委级，2011-01--2013-12


参与会议
合作情况

项目协作单位
指导学生