NOTES

Photo Gallery

VIDEOS

You are now here Home > Academics > Professors >

CS: wu lijun

published: 2016-12-20 15:23:13       hits: 

name : wu lijun Sex: Man phone: +8613808028681
email: wljuestc@sina.com office-address: B1-102, Main Building, Qingshuihe Campus:No.2006, Xiyuan Ave, West Hi-Tech Zone, Chengdu, Sichuan, P.R.China 
PH.D  Supervisor: yes Master Supervisor: yes
major: Computer Science and Technology
research interst: Information Security and Artificial Intelligence
Biography: Professor Lijun Wu gained Ph.D degree from zhongshan University  in 2005; M.S. degree  from Huazhong University of Science and Technology in 1994.  He worked in National University of Defense Technology, China, during 2006-2008 as a Postdoctor. In 2008, He joined UESTC as a teacher. He has been in charge of about 30 projects, and published more than 50 papers in journals and conferences such as top journal TSE and TVLSI. He also served as committee member in many international conference. 
Education experience: PostDoc: School of Computer Science and Technology, National University of Defense Technology, China
June, 2006 – August,2008
 Ph. D. Degree: School of Computer Science and Technology, Zhongshan University, China
 Research Topic: Information Security
 September,2002 – June, 2005
 Ms Degree: Huazhong University of Science and Technology, China
September,1991 – April,1994
Selected Publications: [1]  Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang. An I/O Efficient Approach for Detecting All Accepting Cycles.IEEE Transactions on Software Engineering.2015.8
[2] Lijun Wu, Huijia Huang, Kaile Su, Shaowei Cai, Xiaosong Zhang. An I/O Efficient Model Checking Algorithm for Large-Scale Systems.IEEE Transactions on VLSI systems. 2015.8.
[3] Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen.A Complete First-Order Temporal BDI Logic for Forest Multi-Agent Systems. Knowledge Based System. 2012.10
[4]  Lijun Wu, Kaile Su,Jinshu Su,Xiangyu Luo. A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-Agent Systems. Knowledge Based System. 2010.10
Books: Lijun Wu.  Introduction to Information Security, Tsinghua University PRESS, Beijing, China, 2013