Anissa Kheireddine
From LRDE
Revision as of 17:36, 12 December 2019 by Anissa Kheireddine (talk | contribs)
Contact
- E-mail : akheireddine (at) lrde.epita.fr
Master degree in Operational Research, Decision-making and Multiagents Simulation (ANDROIDE) at Université of Sorbonne Université (Paris 6).
Current status
PhD started in 2019
Subject : Parallelization and optimization of Bounded model-Checking problem.