User

Difference between revisions of "Anissa Kheireddine"

From LRDE

(Created page with "== '''Contact''' == E-mail : akheireddine (at) lrde.epita.fr")
 
 
(3 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
== '''Contact''' ==
 
== '''Contact''' ==
E-mail : akheireddine (at) lrde.epita.fr
+
* 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.

Latest revision as of 12:26, 16 December 2019

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.