User

Anissa Kheireddine

From LRDE

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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.