软件学院

School Of Software

Introduction:

Name:Luo Guiming

Position: Professor

Tel:86-10-62795440

Email:gluo@tsinghua.edu.cn


Education background:

Ph.D, 1992, graduated from Institute of Systems Science, Chinese Academy of Sciences, Beijing, China.

M.Sc. degree, 1988, graduated from University of Science and Technology of China, Hefei, Anhui.


Experience:

Since Aug, 2003: Professor, Associate Professor, School of Software, Tsinghua University, China

Sep 2001 – Apr 2003: JSPS Fellow, University of Tokyo, Japan

Sep 2000 – Aug 2001: Visiting Professor, Seoul National University, Korea

Aug 1992 – Aug 2000: Associate Professor, Department of Mathematics, Tsinghua University, China


Areas of Research Interests/ Research Projects:

System identification and signal processing, adaptive control and signal tracking, nonlinear systems, software reliability methods, model checking


Academic Achievement:

Publications:
2017
[17-1] YL Zhang, WF Ma, GM Luo, Inferring causal directions from uncertain data, Engineering Applications of Artificial Intelligence, vol.65, pp.261-267, 2017.
[17-2] YL Zhang, GM Luo, Recursive prediction algorithm for non-stationary Gaussian process, Journal of Systems and Software, vol.127, pp.295-301, 2017.
[17-3] FA Pu, GM Luo, Z Zhou, Encoding argumentation semantics by Boolean algebra, IEICE Transactions on Information and Systems, vol.100D, No.4, pp.838-848, 2017.
[17-4] LY Zhang, GM Luo, DH Qing, Statistical model checking of stochastic component-based systems, Journal of Statistical Computation and Simulation, vol.87, No.13, pp.2509-2525, 2017.
[17-5] YX Wang, LA Zadeh, B Widrow, N Howard, F Beaufays, G Baciu, DF Hsu, GM Luo, F Mizoguchi, S Patel, V Raskin, S Tsumoto, W Wei, D Zhang, Abstract intelligence: Embodying and enabling cognitive systems by mathematical engineering, International Journal of Cognitive Informatics and Natural Intelligence, vol.11, No.1, pp.1-15, 2017.
[17-6] BX Zhao, GM Luo, JH Zhu, Improved boosting model for unsteady nonlinear aerodynamics based on computational intelligence, International Journal of Cognitive Informatics and Natural Intelligence, vol.11, No.1, pp.46-59, 2017.
[17-7] Q Ji, GM Luo, Model based formal design for MVB system, 2017 IEEE 16th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC), Oxford, UK, 26-28 July 2017, pp.207-212, 2017.
[17-8] C Peng, XY Zhang, G Yu, GM Luo, J Sun, Large kernel matters - improve semantic segmentation by global convolutional network, 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Honolulu, HI, USA, 21-26 July 2017, pp.1743-1751, 2017.
[17-9] FA Pu, GM Luo, YC Chen, Boolean matrix approach for abstract argumentation, Multi-Agent Systems and Agreement Technologies. 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, 15-16 Dec. 2016. LNAI 10207, pp.470-480, 2017.
[17-10] FA Pu, GM Luo, Ranking arguments based on counter-transitivity, IFAC 2017 World Congress, Toulouse, France, The 20th World Congress of the International Federation of Automatic Control, 9-14 July 2017, vol.50, Issue 1, July 2017, pp.12496-12501, 2017.

2016
[16-1] GM Luo, CY Yin, J Luo, Satisfiability degree analysis and deductive reasoning, IEEE Intelligent Systems, vol.31, No. 4, pp. 30-42, 2016
[16-22] GM Luo, XY Song, XJ Yang, K Thulasiraman, JF Monin, and GW Yang, Modeling, Optimization, and verification for complex systems, Mathematical Problems in Engineering, vol. 2458369, 2016
[16-3] GM Luo, CY Yin, Deductive reasoning and computing based on propositional logic, ICCI*CC 2016, IEEE 15th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC’16), pp. 294-299, 2016
[16-4] Z Jiang, GM Luo, KL Shen, Complex networks clustering for lower power scan segmentation in at-speed testing, IEICE Transactions on Electronics, vol. E99C, No. 9, pp. 1071-1079, 2016
[16-5] LY Zhang, QD Meng, GM Luo, Verification of lean-kanban processes with probabilistic model checking, International Journal of Computer Applications in Technology, vol. 53, No. 4, pp. 358-368, 2016
[16-6] BX Zhao, GM Luo, An alarm correlation algorithm based on similarity distance and deep network, 12th International Conference on Intelligent Computing (ICIC), Lanzhou, CHINA, Intelligent Computing Methodologies, ICIC 2016, PT III, Lecture Notes in Artificial Intelligence, vol.9773, pp. 359-368, 2016
[16-7] BX Zhao, GM Luo, A weighted hybrid model for unsteady nonlinear aerodynamics, ICCI*CC 2016, 2016 IEEE 15th Int’l Conf. on Cognitive Informatics & Cognitive Computing (ICCI*CC), pp. 219-225, 2016.
[16-8] FA Pu, GM Luo, Boolean matrix approach for Abstract Argumentation, AT 16, 4th International Conference on Agreement Technologies, Valencia, Spain, December 15-16, 2016
[16-9] FA Pu, GM Luo, Counter-Transitivity in Argument Ranking Semantics, The Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16), Phoenix, Arizona, USA, pp.4256-4257, 2016

2015
[15-1] YL Zhang, GM Luo, Short term power load prediction with knowledge transfer, Information Systems, vol. 53, pp.161-169, 2015
[15-2] XJ Yang, GM Luo, New Lyapunov-type inequalities for a class of even-order linear differential equations, Mathematische Nachrichten, vol.288, No.16, pp.1910-1915, 2015
[15-3] FA Pu, J Luo, YL Zhang, GM Luo, Attacker and defender counting approach for abstract argumentation, 37th Annual Meeting of the Cognitive Science Society. Austin, TX: Cognitive Science Society, pp.1913–1918, 2015.
[15-4] FA Pu, J Luo, GM Luo, Some supplementaries to the counting semantics for abstract argumentation, IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI), pp.242-249, 2015.

2014
[14-1] GM Luo, XY Song, XJ Yang, K Thulasiraman, Intelligent modeling and Verification, Journal of Applied Mathematics, 2014.
[14-2] GM Luo, Y Zhao, YL Zhang, A new recursive identification method for weighted criterion, 19th IFAC World Congress, Cape Town, South Africa, pp.24-29, August 2014
[14-3] J Luo, GM Luo, HR Qu, A software vulnerability rating approach based on the vulnerability database, Journal of Applied Mathematics, vol.2014