معرفی
Wadoud BOUSDIRA is an Associate Professor at the University of Orleans in the Computer Sciences Department under the College of Science. He is a member of the LMV team and affiliated with the Laboratoire d'Informatique Fondamentale d'Orléans (LIFO).
His research focuses on Semantics of Programming Languages, Program Analysis, and Functional Parallel Programming. His work explores thread synchronization, SPMD programming, BSP models, formal verification, and static analysis of parallel programs.
The trends in his recent publications emphasize formal verification of parallel programs using tools like Coq, register safety in BSPlib, and transformation of SPMD programs. Key subfields include algorithmic skeletons, distributed arrays, and rewriting rules for program alignment.
He has advised PhD student Arvid Jakobsson (CIFRE Huawei, 2016-) on BSP-programs static analysis. His research is supported by projects such as PaPDAS (in partnership with JST, Japan) and ANR SIMI 2 (2011-2014).
Contact: wadoud.bousdira-semmar@univ-orleans.fr | Phone: +33 (0)2 38 41 72 69 | Address: LIFO, Building IIIA, University of Orleans, France.
