个人信息 何雨果，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.