Lijun Zhang

Registered user since Wed 8 Aug 2018

Name:Lijun Zhang

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:Institute of Software, Chinese Academy of Sciences


ICSE 2022 Author of Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning within the Technical Track-track
VMCAI 2022 Author of EPMC Gets Knowledge in Multi-Agent Systems within the VMCAI 2022-track
Author of Verifying Pufferfish Privacy in Hidden Markov Models within the VMCAI 2022-track
ESEC/FSE 2021 Author of Frontmatter: Mining Android User Interfaces at Scale within the Demonstrations-track
ESEC/FSE 2020 Author of SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM within the Tool Demos-track
Author of PRODeep: A Platform for Robustness Verification of Deep Neural Networks within the Tool Demos-track
APLAS 2019 Ordinary PC member in Program Committee within the Research Papers-track
ETAPS 2019 Committee Member in Steering Committee
Author of ETAPS Steering committee meeting within the Social-track
TACAS 2019 Co-chair in Program Committee within the TACAS 2019-track
Session Chair of SAT and SMT I (part of TACAS 2019)
PLDI 2018 Author of Advanced Automata-Based Algorithms for Program Termination Checking within the PLDI Research Papers-track
VMCAI 2018 Author of Learning to Complement Büchi Automata within the VMCAI 2018-track
VMCAI 2017 Author of Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games within the VMCAI-track