Manel DJENOUHAT is a young IT researcher from Algeria. She graduated from computer science department of Mentouri University , specializing in software engineering in summer 2011.
Her main research interests include the use of formal methods in software engineering and Service-oriented architecture .
Throughout the last year of her master studies, she worked with the VESPA team of the CNAM institute in Paris, doing her thesis on the application of contemporaneous formal methods to restrain the problem of combinatorial explosion of memory states in concurrent systems.
During her time at the CNAM , Manel also had the chance to support the VESPA team with the training courses, and the implementation of a new formal approach based on true concurrency to mitigate the combinatorial explosion problem.
Currently, she began pursuing a doctoral degree in computer and software engineering and working as a polyglot programmer in an Algerian Institute of IT learning.
