User

Difference between revisions of "Anissa Kheireddine"

From LRDE

Line 2: Line 2:
 
* E-mail : akheireddine (at) lrde.epita.fr
 
* 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).
+
Master degree in Operational Research, Decision-making and Multi-agent Simulation (ANDROIDE) at University of "Sorbonne Université" (Paris 6).
   
   
 
== '''Current status''' ==
 
== '''Current status''' ==
==== PhD started in 2019 ====
+
PhD started in 2019.
 
Subject : Parallelization and optimization of Bounded model-Checking problem.
 
Subject : Parallelization and optimization of Bounded model-Checking problem.

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