Write a Blog >>
ESEC/FSE 2021
Thu 19 - Sat 28 August 2021 Clowdr Platform
Lijun Zhang

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.

Country:China
Affiliation:Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Institute of Intelligent Software

Contributions

Show activities from other conferences

ESEC/FSE 2021-profile
View general profile