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. 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 Universität des Saarlandes.

My research interests include: probabilistic models, simulation reduction, decision algorithms for probabilistic simulation preorders, abstraction and model checking. I am involved in the following tools: PASSPARAMProHVerINFAMYFlowSim. Further, I am leading the development of the model checker 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)