Difference between revisions of "Anissa Kheireddine"
From LRDE
(Created page with "== '''Contact''' == E-mail : akheireddine (at) lrde.epita.fr") |
|||
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 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. |
Revision as of 17:35, 12 December 2019
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.