姓名：何雨果
所在学科：软件理论
职称：
联系电话：
E-mail：hugo274@gmail.com
通信地址：北京市海淀区中关村南大街5号中心教学楼
个人信息 何雨果，2003年硕士毕业，任教于北京理工大学计算机学院。2011年获得博士学位。教授过的课程有离散数学、人工智能基础（本），计算理论（研），算法和算法复杂性理论（博）。

科研方向 目前主要研究方向为有限模型论及其在计算机科学中的应用

代表性学术成果 1.Y. He. On the strictness of the quantifier structure hierarchy in first-order logic. LMCS, 10 (4), 2014. A preliminary version appeared in LICS 2010: 170-178.
2.A. Dawar and Y. He. Parameterized complexity classes under logical reductions. Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, LNCS vol. 5734: 258-269, Springer-Verlag (2009).
3.Y. He. An efficient attribute reduction algorithm. In IDEAL'06, volume 4224 of LNCS, pages 859-868, Springer Berlin / Heidelberg, 2006.
4.Y. He and J. Sun. Complete quantum circuit of Haar wavelet based MRA. Chinese Science Bulletin, 50(16): 1796-1798, 2005. (科学通报英文版)
5.Y. He and J. Sun. Quantum search in structured database. Advances in Natural Computation, volume 3612 of LNCS, pages 434-443, Springer Berlin / Heidelberg, 2005.
承担科研情况
所获奖励
社会兼职
备注