您现在的位置是: 首页  >  师资队伍  >  教师名录  >  其他教师  >  何雨果

其他教师

姓名:何雨果
所在学科:软件理论
职称:
联系电话:
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.

承担科研情况

所获奖励

社会兼职

备注