Lijun Zhang (my Chinese name is:
)
Office:
Room 118, Building 322
Tel.:
+45 45253663
Address:
Richard Petersens Plads, 2800 Lyngby, Denmark
eMail:
my last name@imm.dtu.dk
About me:
I am an assistant professor at
Language-Based Technology section
,
DTU Informatics
,
Technical University of Denmark
. Before this I was a postdoctoral researcher worked with
Andrzej Murawski
,
Joel Ouaknine
, and
James Worrel
at
Oxford University Computing Laboratory
. I gained a Diploma Degree and a PhD (Dr. Ing.) at the chair of Prof. Dr.-Ing.
Holger Hermanns
, the head of the
Dependable Systems and Software Group
of the
Universität des Saarlandes
.
Research Interests:
Probabilistic models, simulation reduction, decision algorithms for probabilistic simulation preorders, abstraction and model checking. I am involved in the following tools:
PASS
PARAM
ProHVer
INFAMY
FlowSim
Publications
Professional Activities
Workshop on Synthesis (SYNT 2012), PC member.
QEST 2011, PC member.
Thesis:
Master thesis:
Logic and Model Checking for Hidden Markov Models
, Saarland University, Apr., 2004.
PhD thesis:
Decision Algorithms for Probabilistic Simulations
, Saarland University, Dec., 2008.
Projects involved in the past:
At Oxford University:
Automated Verification of Probabilistic Programs
At Saarland University:
QUASIMODO
AVACS
VOSS, VOSS II, ROCKS
Student Projects:
Fabian Aaron Bendun: Approximation of Bisimulation in Probabilistic Metric Systems, Bachelor Thesis, Saarland University, 2010
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:
Winter 2010, 2011:
Model Checking
Summer 2011, 2012:
Computer Science Modelling
Summer 2009: (at Saarland University)
Quantitative Model Checking.
As an Assistant: (at Saarland University)
Winter 2007/08:
Validation of Stochastic Systems
,
Programming I
Winter 2006/07:
Verification
Summer 2006:
Software-Komponenten -- Software-Schnittstellen
Winter 2005/06:
Programmierung I
Summer 2005:
The software horror picture show
Winter 2004/05:
The software horror picture show
Summer break 2004:
Data Networking
Lijun Zhang
Last modified: Mon Jan 30 19:05:20 CET 2012
)