Name: 张立军 Lijun Zhang
Institute: Institute of Software, Chinese Academy of Sciences
Email: zhanglj@ios.ac.cn
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-计算机软件与理论
刘颖 硕士研究生 081200-计算机科学与技术
现指导学生
高嵩 博士研究生 081202-计算机软件与理论
张亮 博士研究生 081202-计算机软件与理论
冯维直 博士研究生 081202-计算机软件与理论
于世禛 博士研究生 081200-计算机科学与技术
王珂音 博士研究生 081200-计算机科学与技术
王忠汉 硕士研究生 081200-计算机科学与技术
李仞珏 博士研究生 081200-计算机科学与技术
甘涛 硕士研究生 085405-软件工程
李勰 博士研究生 081200-计算机科学与技术
张杨杨 硕士研究生 085405-软件工程
杨德乾 硕士研究生 085405-软件工程
刘易铖 硕士研究生 081200-计算机科学与技术
苑照月 硕士研究生 081200-计算机科学与技术
朱美霖 博士研究生 083500-软件工程
程络 硕士研究生 081200-计算机科学与技术
申世东 硕士研究生 081200-计算机科学与技术
刘宗鑫 博士研究生 083500-软件工程