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.