我是一名研发工程师在OCamlPro公司自2017年4月起。
我之前是爱荷华大学我在哪里工作模型检查器第2类具有塞萨尔·蒂内利.我在LRI公司在里面巴黎南大学在的方向西尔万·康雄和法提哈·扎伊迪.
我的研究领域是正规方法,我的兴趣在于模型检验和可满足性模理论(SMT)。
我为我的论文辩护参数化系统模型检验的不变量推理9月29日第个,2014年。论文和幻灯片如下用法语. The可以在上找到所使用的基准和源代码隔间的网站.
论文 幻灯片