主讲课程: 

编译原理

高级语言程序设计

代表性论文: 

Li Huiqi, Zhao Zhizhuo. 2010. Implementation of pruning operators in logic programming, In the Proceedings of Intelligent Computing and Intelligent Systems (ICIS), 2010: 860-864.

Li Huiqi, Zhao Zhizhuo. 2010. The implementation of polymorphic many-sorted type system for logic programming language G?del, In the Proceedings of the 2nd WRI Global Congress on Intelligent Systems，Wuhan/China，2010: 102-106.