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 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.

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:


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)