User

Anissa Kheireddine (Akheireddine)

From LRDE

Contact

  • 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).


Current status

PhD started in 2019.

   Subject : Parallelization and optimization of Bounded model-checking problem.