Registered user since Wed 8 Aug 2018
Name: Lijun Zhang
Bio: 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: PASS、PARAM、ProHVer、INFAMY、FlowSim. Further, I am leading the development of the model checker IscasMC.
Affiliation: Chinese Academy of Sciences
Personal website: http://iscasmc.ios.ac.cn/?page_id=148
|TACAS 2019|| Co-chair in Program Committee within the TACAS 2019-track|
Session Chair of SAT and SMT I (part of TACAS 2019)
|ETAPS 2019|| Committee Member in Steering Committee|
ETAPS Steering committee meeting
|Show activities from other conferences|
View general profile