moved to ISCAS, you will be redirected there ...

Lijun Zhang (my Chinese name is: )

Office: Room 118, Building 322
Tel.: +45 45253663
Address: Richard Petersens Plads, 2800 Lyngby, Denmark
eMail: my last

About me:

I am an associate professor at Language-Based Technology section, DTU Informatics, Technical University of Denmark. 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:


Professional Activities


Projects involved in the past:

At Oxford University:

At Saarland University:

Student Projects:

Teaching activities

As an Instructor:

As an Assistant: (at Saarland University)

Lijun Zhang
Last modified: Oct 16 19:05:20 CET 2012