Scholar
Lijun Zhang
Google Scholar ID: swBYV0YAAAAJ
Institute of Software, Chinese Academy of Sciences
Citations & Impact
Citations
1,879
H-index
25
i10-index
46
Publications
20
Co-authors
18
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Involved in multiple projects, such as 'Automated Verification of Probabilistic Programs' at Oxford University and QUASIMODO, AVACS, VOSS II, and ROCKS at Saarland University. Supervised student projects, including Ernst Moritz Hahn's master thesis on 'Parametric Markov Model Analysis' and Jonathan Bogdoll's bachelor thesis on 'An Experimental Evaluation of Probabilistic Simulation'. Served as a committee member or chair for various international conferences, such as LICS, TACAS, ICALP, and more.
Research Experience
- Currently a research professor at the Key Laboratory of System Software, Institute of Software, Chinese Academy of Sciences, leading the probabilistic model checking team. Previously an associate professor at the Language-Based Technology section, DTU Compute, Technical University of Denmark, and a postdoctoral researcher at the University of Oxford.
Education
- Obtained a Diploma Degree and a PhD (Dr. Ing.) from Saarland University. The PhD thesis was titled 'Decision Algorithms for Probabilistic Simulations'.
Background
- Research interests include probabilistic models, simulation reduction, decision algorithms for probabilistic simulation preorders, abstraction and model checking. Leading the development of several tools such as PRODeep, ROLL, and ePMC (formerly known as IscasMC). Currently leading the 'Trustworthy Intelligent Systems' group, aiming to ensure the correctness of complex intelligent systems involving both perception components (e.g., deep neural networks) and classical components for planning, decision, and control.
Miscellany
- Director of the Sino-Europe Joint Institute of Dependable and Smart Software at the Institute of Intelligent Software in Guangzhou.
