个人简历

2003.3-2007.9 上海交通大学计算机系，获工学博士学位\r
1995.9-2003.1 山东大学，获工学学士和硕士学位

研究领域

"航空安全、物联网安全、无人机系统等"

近期论文

Guoqi Li Yuanxun Shao Shen Hong* and Bin Liu. “An IPC-based Prolog design pattern for integrating backward chaining inference into applications or embedded systems”. Chinese Journal of Aeronautics. 2014 27(6): 1571-1577.\r
\r
Guoqi Li. “A Modified FTA Approach to Achieve Runtime Safety Analysis of Critical Systems”. IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences. Vol.E97-A. No.10. pp.2083-2085. 2014.\r
\r
Sheng Hong Hongqi Yang Guoqi Li* Ning Huang Xiaomin Ma and K. S. Trivedi. \
IEICE海外会员