User

Anissa Kheireddine

From LRDE

Revision as of 16:35, 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.