My research has covered many topics over the years, from logic programming to abstract rewriting systems. Today, my academic work is mainly related to analogies as a tool for formal reasoning and its application from a machine learning perspective. To get a better understanding of my research activity, please surf my dblp page.
Since the beginning of my career, I have taught diverse topics, from theory (lambda calculus, type theory, logic, complexity) to practice (programming languages (assembly, C, C++, Java, Processing, PHP, CAML), operating systems, networks, etc...).
I currently teach diverse programming languages (Python, Processing). At MSc level, I lecture about machine learning in the large, including PAC model, Vapnik-Chervonenkis dimension, boosting, deep learning, etc.
2004 till date: Prof. of Computer Science (Toulouse Uni. - France)
2003 – 2004: Director of a NGO Computer Science Institute (Hanoi - Vietnam)
2000 – 2002: Prof. (Toulouse Uni. - France)
1997 - 2000: Prof. (Head of Computer Science Department - West Indies Uni.)
French Habilitation (1997) - Rewriting logic with negation
(Orleans Uni. - France)
PhD Computer Science (1989) - Formal Specification for Prolog
(INRIA Paris - France)