Iguernelala, Mohamed (1984-....)

Iguernelala, Mohamed (1984-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 169660397

URI de l'entité : http://www.idref.fr/169660397/id

Notice de type Personne

Point d'accès autorisé

Iguernelala, Mohamed (1984-....)

Nom à l'état civil

Sur le web

Variante de point d'accès

Iguernlala, Mohamed

[Nom de personne]

Nom à l'état civil

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : anglais,français,arabe

Pays : Algérie

Date de naissance : 1984

Genre : Masculin

Notes

Note publique d'information :

Ingénieur informatique (chez Origin Labs), membre du Laboratoire de Recherche en Informatique de l'Université Paris-Sud (LRI - UMR 8623) en 2020

Note publique d'information :

Auteur d'une thèse en informatique à l'Université Paris-Sud en 2013

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/305106455

Identifiant SCOPUS : 37061065900

Source

Strengthening the heart of an SMT-Solver : design and implementation of efficient decision procedures / par Mohamed Iguernelala ; sous la direction de Sylvain Conchon, Université Paris-Sud, 2013 [thèse d'Informatique]

fr.linkedin.com/in/mohamed-iguernlala-71515979, 2020-04-29

Information trouvée : Ingénieur informatique (chez Origin Labs), membre du Laboratoire de Recherche en Informatique de l'Université Paris-Sud (LRI - UMR 8623) en 2020 et variante du nom de famille en Iguernlala

www.lri.fr/membre.php?mb=1272, 2020-04-29

Information trouvée : membre du Laboratoire de Recherche en Informatique de l'Université Paris-Sud (LRI - UMR 8623) en 2020

... Références liées : ...