Abdoul Kader Kabore received his Master degree in Software Engineering and Computer Information System, from the University of Ouagadougou (Burkina Faso), in 2019. He has gained a long working experience in computer science. His main research interest is in engineering and software security. Abdoul Kader joined the Security, Design and Validation research group, SERVAL, headed by Professor Yves Le Traon and he will be reporting to Dr Tegawendé Bissyandé.