研究领域主要是基于马尔科夫模型及其扩展的概率并发系统的模型检验。作为模型检验的重要扩展，概率模型检验是热门前沿基础研究领域之一。学术成果在著名会议和杂志上发表，例如 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级本科毕业论文指导
理论计算机科学基础
用随机模型验证技术的高级故障树分析

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