Snail mail Department of Computer Science
The University of Iowa
14 MacLean Hall
Iowa City, IA 52242
Office MLH 201G
Telephone (319) 335-0745
E-mail alain-mebsout AT

About me

I am a postdoctoral research scholar since december 2014 at the University of Iowa. I am doing my research with Cesare Tinelli on the model checker Kind 2.

I did my PhD at the LRI in Université Paris-Sud under the direction of Sylvain Conchon and Fatiha Zaïdi.

My area of research is formal methods, and my interests lie in model checking and satisfiability modulo theories (SMT).

PhD thesis

I've defended my thesis Invariants Inference for Model Checking of Parameterized Systems on September 29th, 2014. The thesis and the slides are available below in french. The benchmarks used as well as the source code can be found on Cubicle's website.

Thesis Slides