Lijun Zhang (张立军)'s Homepage


  • Office: Room B341, Building 5
  • Tel.: +86 62661605
  • Address: South Fourth Street 4#, Zhong Guan Cun
  • Email: zhanglj###ios**ac*cn

About me

I am a research professor at State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences. I am leading the probabilistic model checking team at ISCAS. My research interests include: probabilistic models, simulation reduction, decision algorithms for probabilistic simulation preorders, abstraction and model checking. I am leading the development of the severals tools including PRODeep, ROLL, and the model checker ePMC, previously known as IscasMC.

Recently, together with Zhilin Wu (), we lead the group “Trustworthy Intelligent Systems”, aiming at guaranteeing the correctness of complex intelligent systems involving both intelligent components for perception (e.g. deep neural networks) and classical components for planning, decision and control. Both are vital in safety-critical systems such as self-driving cars. I am also the director of the Sino-Europe Joint Institute of Dependable and Smart Software at the Institute of Intelligent Software in Guangzhou. Before this I was an associate professor at Language-Based Technology section, DTU Compute, Technical University of Denmark. Before this I was a postdoctoral researcher at University of Oxford. I gained a Diploma Degree and a PhD (Dr. Ing.) at Saarland University.


Professional activities


  • Master thesis: Lijun Zhang: Logic and Model Checking for Hidden Markov Models. Saarland University, 2004. BIB PDF.
  • PhD thesis: Lijun Zhang: Decision Algorithms for Probabilistic Simulations. Saarland University, 2008. BIB PDF.

Projects involved in the past

Students projects

  • Ernst Moritz Hahn (): Parametric Markov Model Analysis, Master Thesis, Saarland University, 2008.
  • Jonathan Bogdoll: An Experimental Evaluation of Probabilistic Simulation, Bachelor Thesis, Saarland University, 2008.

Teaching activities

As an instructor: (at DTU)

As an assistant: (at Saarland University)