个人信息

何雨果，2003年硕士毕业，任教于bet36365体育网站。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.

承担科研情况

所获奖励

社会兼职

备注