General

Name: 张立军  Lijun Zhang

Institute: Institute of Software, Chinese Academy of Sciences

Email: zhanglj@ios.ac.cn 

Telephone: 62661628 / 18610709769

Address: 北京市海淀区中关村南四街4号 

Research Areas

My research interest mainly focuses on probablilistic model checking based on Markov models and their extensions. Many good results have been published in international conferences like CAV, CONCUR, LICS, POPL, ETAPS/TACAS, LMCS, AAAI, Inf. & Comp.. For more details, see:
http://iscasmc.ios.ac.cn/?page_id=819


Education

2000-10--2008-12   Saarland University, Germany   Bechelor and Ph.D degree of computer science


Students

已指导学生

李勇  博士研究生  081202-计算机软件与理论  

徐俊楠  硕士研究生  081202-计算机软件与理论  

孙学超  硕士研究生  081202-计算机软件与理论  

现指导学生

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

杨鹏飞  博士研究生  081202-计算机软件与理论  

刘德鹏  博士研究生  081202-计算机软件与理论  

高嵩  博士研究生  081202-计算机软件与理论  

张亮  博士研究生  081202-计算机软件与理论  

李建霖  硕士研究生  081202-计算机软件与理论  

冯维直  博士研究生  081202-计算机软件与理论  

李勰  硕士研究生  081202-计算机软件与理论  

何锦龙  博士研究生  081202-计算机软件与理论  

于世禛  博士研究生  081200-计算机科学与技术  

刘颖  硕士研究生  081200-计算机科学与技术