Wu Lijun
Professor
Computer Science and Technology
University of Electronic Science and Technology of China
China
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 Interest
Information Security and Artificial Intelligence
Publications
-
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
-
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.
-
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
