基本信息
张立军男博导中国科学院软件研究所
电子邮件： zhanglj@ios.ac.cn
通信地址： 北京市海淀区中关村南四街4号
邮政编码：
部门/实验室：计算机科学国家重点实验室
研究领域
研究领域主要是基于马尔科夫模型及其扩展的概率并发系统的模型检验。作为模型检验的重要扩展，概率模型检验是热门前沿基础研究领域之一。学术成果在著名会议和杂志上发表，例如 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,德国萨尔大学,博士后
2000-10~2008-12,德国萨尔大学,本科，研究生，博士

社会兼职2014-01-01-今,利物浦大学访问教授,
2012-11-01-今,德国萨尔大学客座教授,


专利与奖励
奖励信息
专利成果

出版信息
发表论文（1）IscasMC: A Web-Based Probabilistic Model Checker,International symposium of the Formal Methods Europe association (FM),2014,第通讯作者作者
（2）When Equivalence and Bisimulation Join Forces in Probabilistic Automata,International symposium of the Formal Methods Europe association (FM),2014,第通讯作者作者
（3）Probably Safe or Life,CSL-LICS,2014,第通讯作者作者
（4）A tighter bound for the self stabilization time in Hermans algorithm,INFORMATION PROCESSING LETTERS,2013,第通讯作者作者
（5）Bisimulations meet PCTL equivalences for probabilistic automata,LOGICAL METHODS IN COMPUTER SCIENCE,2013,第通讯作者作者
（6）Model checking conditional CSL for continuous-time Markov chains,INFORMATION PROCESSING LETTERS,2013,第通讯作者作者
（7）The quest for minimal quotients for probabilistic automata,Tools and Algorithms for the Construction and Analysis of Systems (TACAS),2013,第5作者
（8）LTL Satisfiability Checking Revisited,International Symposium on Temporal Representation and Reasoning (TIME),2013,第通讯作者作者
（9）Efficient CSL Model Checking Using Stratification,Logical Methods in Computer Science,2012,第1作者
（10）Automata-based CSL model checking,International Colloquium on Automata, Languages and Programming (ICALP),2011,第1作者
（11） On Probabilistic Automata In Continuous Time,Annual IEEE Symposium on Logic in Computer Science (LICS) ,2011,第3作者
（12）Model Checking Algorithms for CTMDPs,Computer Aided Verification (CAV),2011,第3作者
（13）Safety Verification for Probabilistic Hybrid Systems,Computer Aided Verification (CAV),2010,第1作者

发表著作

指导学生现指导学生
付辰博士研究生081202-计算机软件与理论