Courte présentation de l'auteur
Enseignant chercheur en informatique, je pratique une pédagogie innovante guidée par un idéal qui est de prendre en compte les écarts très important de niveaux de mes élèves en permettent à chacune et chacun de progresser à son propre rythme, au mieux de ses possibilités.
En recherche, je travaille sur l'intelligence artificielle symbolique, qui relève du domaine du raisonnement automatique. Je m'intéresse plus spécialement à la résolution des problèmes NP-complets, tels que SAT et autres problèmes de satisfaction de contraintes, qui fait appel à des formes rudimentaires de raisonnement déductif.
Dans la vrais vie, j'ai de multiples centres d'intérêt, comme la réalisation de machines extraordinaires à base de composants électroniques, la photographie, l'écriture, les longues balades dans la nature, les sciences et techniques.
Sur les réseaux sociaux, je m'exprime en tant que citoyen libre et en aucun cas en tant que représentant d'une institution ou communauté.