Je suis doctorant en informatique, spécialisé dans la logique pour l'Intelligence Artificielle.