Difference between revisions of "Anissa Kheireddine"
From LRDE
| (One intermediate revision by the same user not shown) | |||
| 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 |
+ | 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. |
|
| − | Subject : Parallelization and optimization of Bounded model- |
+ | Subject : Parallelization and optimization of Bounded model-checking problem. |
Latest revision as of 13: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.