Revision as of 12:26, 16 December 2019 by Anissa Kheireddine
- E-mail : akheireddine (at) lrde.epita.fr
Master degree in Operational Research, Decision-making and Multi-agent Simulation (ANDROIDE) at University of "Sorbonne Université" (Paris 6).
PhD started in 2019.
Subject : Parallelization and optimization of Bounded model-checking problem.