基本信息

张立军  男  博导  中国科学院软件研究所
电子邮件: zhanglj@ios.ac.cn
通信地址: 北京市海淀区中关村南四街4号
邮政编码: 100190

研究领域

研究领域主要是基于马尔科夫模型及其扩展的概率并发系统的模型检验。作为模型检验的重要扩展,概率模型检验是热门前沿基础研究领域之一。学术成果在著名会议和杂志上发表,例如 CAV、CONCUR、LICS、POPL、ETAPS/TACAS、LMCS、 AAAI、Inf. & Comp.等。论文请参考:
http://iscasmc.ios.ac.cn/?page_id=819

招生信息

   
招生专业
081202-计算机软件与理论
招生方向
模型检测,形式化方法
深度学习模型应用
自动驾驶仿真系统

教育背景

2000-10--2008-12   德国萨尔大学   本科,研究生,博士

工作经历

   
工作简历
2012-11~2013-05,丹麦科技大学, 副教授
2010-04~2012-10,丹麦科技大学, 助理教授
2009-12~2010-03,牛津大学, 助理研究员(Research Assistant)
2008-12~2009-11,德国萨尔大学, 博士后
社会兼职
2013-12-31-2014-07-01,利物浦大学访问教授,
2012-10-31-2013-09-30,德国萨尔大学客座教授,

教授课程

离散数学
强化学习
15级本科毕业论文指导
理论计算机科学基础
用随机模型验证技术的高级故障树分析

专利与奖励

   
奖励信息
(1) 中国科学院大学领雁奖, , 院级, 2023
(2) 2022年度中国科学院优秀导师, 院级, 2022
(3) Recognition of Service Award, 一等奖, 其他, 2020
(4) 中国科学院****终期评估优秀, 一等奖, 院级, 2018

出版信息

   
发表论文
(1) On the Power of Finite Ambiguity in B\"uchi Complementation, Infomation and Computation, 2023, 第 11 作者
(2) Model Predictive Control with Reach-Avoid Analysis, International Joint Conference on Artificial Intelligence (IJCAI 2023), 2023, 第 4 作者
(3) TRAJPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models, 2019 IEEE/CVF International Conference on Computer Vision (ICCV), 2023, 第 11 作者
(4) Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019, INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 第 2 作者
(5) Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper), SEFM 2022, 2022, 第 7 作者
(6) Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning, 2022, 第 6 作者
(7) Divide-and-Conquer Determinization of B��chi Automata Based on SCC Decomposition, Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II, 2022, 第 11 作者
(8) Improving Neural Network Verification through Spurious Region Guided Refinement, TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2021, 第 11 作者
(9) A Simple Algorithm for Solving Qualitative Probabilistic Parity Games, CAV, 2016, 第 11 作者
(10) Efficient approximation of optimal control for continuous-time Markov games, INFORMATION AND COMPUTATION, 2016, 第 11 作者
(11) A space-efficient simulation algorithm on probabilistic automata, INFORMATION AND COMPUTATION, 2016, 第 11 作者
(12) Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems, ACM SIGPLAN NOTICES, 2015, 第 4 作者
(13) Preference Planning for Markov Decision Processes, PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, 第 4 作者
(14) Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation, COMPUTER AIDED VERIFICATION, PT I, 2015, 第 4 作者
(15) Probably Safe or Life, CSL-LICS, 2014, 第 11 作者
(16) When Equivalence and Bisimulation Join Forces in Probabilistic Automata, FM 2014: FORMAL METHODS, 2014, 第 11 作者
(17) IscasMc: A web-based probabilistic model checker, 19th International Symposium on Formal Methods, FM 2014, 2014, 第 5 作者
(18) Model checking conditional csl for continuous-time markov chains, INFORMATION PROCESSING LETTERS, 2013, 第 11 作者
(19) A tighter bound for the self-stabilization time in Herman's algorithm, INFORMATION PROCESSING LETTERS, 2013, 第 11 作者
(20) The Quest for Minimal Quotients for Probabilistic Automata, TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 第 5 作者
(21) BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA, LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 第 11 作者
(22) LTL Satisfiability Checking Revisited, 2013 20TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME), 2013, 第 2 作者
(23) EFFICIENT CSL MODEL CHECKING USING STRATIFICATION, LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 第 11 作者
(24) On Probabilistic Automata in Continuous Time, 25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, 第 3 作者
(25) Lazy Probabilistic Model Checking without Determinisation, 第 5 作者
(26) Distribution-based bisimulation for labelled Markov processes, 第 3 作者
发表著作
(1) 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, LIPICS, 2018-09, 第 2 作者
(2) SETSS: Learning Büchi Automata and Its Applications, LNCS, 2019-04, 第 4 作者
(3) Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, LNCS, 2019-04, 第 2 作者

软件所个人主页

https://iscasmc.ios.ac.cn/?page_id=148