个人简介
个人信息
何雨果，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.
京公网安备 11010802027423号