Active areas of research: Model checking, program synthesis, automatic correction (counter-example guided) ©

Graduated in Applied Bachelor of Computer Science, Higher Institute of management Sousse,Tunisia at 2019, i`m A passionate mobile and web developer eager to always learn more and get to know new stuffs, spends most of my free time learning and reading. ©