何雨果

何雨果，博士，北京理工大學計算機學院教師，主要研究有限模型論及其在計算機科學中的套用。

基本介紹

• 中文名：何雨果
• 學位/學歷：博士
• 職業：教師
• 任職院校：北京理工大學計算機學院

人物經歷

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.