PhD Director: Matthieu Moy
PhD Advisors: Bruno Ferres and Mehdi Khosravian
Context
This CIFRE [1] PhD proposal is part of a joint work between Verimag, LIP (ENS Lyon), and Aniah (Grenoble). It will be the continuation of a fruitful collaboration (during a first CIFRE PhD, giving promising results), and is based on several domains of Computer Science, from theoretical tools (SMT, model-checking, ...) to practical engineering concerns.
Please take a look at the attached proposal for more details, and do not hesitate to contact the advisors.