I am assistant professor in Computer Science at the School of Computer and Cyber Sciences vice James M. Hull College of Business, at the Augusta University, in Georgia, USA.
Prior to that, I have been a post-doctoral researcher at the Appalachian State University (Boone, NC, USA), at the LACL (Créteil, Val-de-Marne, France), at the I2M (Marseille, Bouches-du-Rhône, France), and a PhD student at the LIPN (Villetaneuse, Île-de-France, France). Please refer to my resume for a more complete presentation.
I work in the vast field of computational logic, which uses mathematical reasoning to discover and explain the mechanisms underlying any form of computation.
If I were to use keywords, it would probably be
You might want to have a look at