Dr. Wadoud Bousdira
Associate Professor
Member of the LMV Team
Laboratoire d'Informatique Fondamentale d'Orléans
Université d'Orléans - Computer Sciences Department

Université d'Orléans - Faculté des sciences
Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2, France

☎ +33 (0)2 38 41 72 69
@ firstname.lastname@univ-orleans.fr


Research Interests
Teaching
Research Projects
Phd. Students
Recent Publications

Calculating Parallel Programs in Coq using List Homomorphisms
International Journal of Parallel Programming, Springer Verlag, 2017, 45 (2), pp.300-319. 〈10.1007/s10766-016-0415-8〉
Frédéric Loulergue, Wadoud Bousdira, Julien Tesson,

Replicated Synchronization for Imperative BSP Programs
International Conference on Computational Science (ICCS), 2017, Zürich, Switzerland. Elsevier., Procedia Computer Sciences, Procedia Computer Science
Arvid Jakobsson, Frederic Dabrowski, Wadoud Bousdira, Frédéric Loulergue, Gaetan Hains,

Calcul de programmes parallèles avec Coq
Informatique Mathématique, CNRS Éditions, 2015, collection Alpha, 〈http://www.univ-orleans.fr/lifo/evenements/EJCIM2015/〉
Frédéric Loulergue, Wadoud Bousdira, Julien Tesson,