张立军，研究领域主要是基于马尔科夫模型及其扩展的概率并发系统的模型检验。作为模型检验的重要扩展,概率模型检验是热门前沿基础研究领域之一。学术成果在著名会议和杂志上发表,例如 CAV、CONCUR、LICS、POPL、ETAPS/TACAS、LMCS、 AAAI、Inf. & Comp.等。论文请参考:http://iscasmc.ios.ac.cn/?page_id=819。关注系统的形式验证的理论研究工作,同时也注重验证工具的开发及应用。和多国内以及国际学校学者有紧密合作,比如德国萨尔大学(HolgerHermanns)、亚琛大学(Joost-Pieter Katoen)、利物浦大学(Sven Schewe)、荷兰的奈梅亨大学(David N. Jansen)、澳大利亚悉尼科技大学(Yuan Feng)等。