Lijun Zhang (张立军)’s Homepage


  • Office: Room A213, 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


Projects involved in the past:

At Oxford University: Automated Verification of Probabilistic Programs


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)