User

Anissa Kheireddine

From LRDE

Revision as of 13:26, 16 December 2019 by Anissa Kheireddine (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.

Retrieved from "https://www.lrde.epita.fr/index.php?title=User:Akheireddine&oldid=124566"