Infos
PhD Student
Paris, France
wendlasida.ouedraogo@siemens.com
ouedraogo@lix.polytechnique.fr
Technical skills
Programming languages
C++ C Java Java Android Java J2EE MatLab Python PHP JavaScript HTML5 CSS3 Angular NodeJS PL/SQL OCaml Coq Prolog SPARQL
Programming libraries and tools
Open Multi-Processing (C/C++) Open MPI (C/C++) Cuda (C/C++) CPlex (C/C++) OpenCV (python) Tkinter (python) Tensorflow (python) Flask (python) Scikit-Learn (python) Hibernate JavaScript OCamllex OCamlyacc Menhir
Languages
French
English
Soft skills
Quick documentation reading Writing reports Presenting technical concepts and tools Retro-engineering Facilitating meetings
I am a PhD student at Institut Polytechnique de Paris under industrial research agreements with Siemens Mobility SAS and Inria Saclay - Île-de-France in Partout team.
PhD subjet : source code optimization for safety-critical software.
Keywords: formal methods compilers source code optimization ADA Coq OCaml
A system is said to be safety critical when its use involves risk that could lead to severe consequences. Those kinds of systems are designed to avoid or handle hazardous events
(unsafe states or conditions that can result in a mishap) and their developers have to provide guarantees showing their safety. For these reasons, engineers develop or/and use
various techniques during the conception and the run-time of those programs. Those techniques usually imply error detection systems, material and functional redundancies and
development restrictions that lead to time performance issues and forbids the use of various optimization techniques.
Techniques to overcome the antagonism between safety guarantees and execution time performance can be different from a
system to another. During my thesis, I have to study the implementation of some components of the driver-less system used in Paris subway line 14 and the optimization methods
that can be used to increase their time performances without compromising on their safety.
To achieve this goal, we started by studying the implementation of the system and decided to explore the impact source code optimization techniques.
Teaching assistant for following courses
My PhD is under industrial research agreements with Siemens Mobility.
I worked on various project as a software engineer for
Keywords : image annotation machine learning deployment in an android app video tracking Real time recognition Python Java
Keywords : NLP Python Java
During 12 weeks, I joined Globalink Research Internship program and contributed on trafficintelligence, a software that provides a set of tools developed by Nicolas Saunier and his collaborators for transportation data processing, in particular road traffic, motorized and non-motorized. The project consists in particular in tools for the most typical transportation data type, trajectories, i.e. temporal series of positions.
I helped first year student for mathematics and C programming.
Engineering Diploma (Computer Science) with honours
The Diplôme d'Etudes Universitaires Générales (DEUG) with honours