Anatole Khelif est enseignant-chercheur, maître de conférences, spécialiste de la logique mathématique. C'est un ancien élève de l'École normale supérieure, rue d'Ulm. Il anime depuis plusieurs années un séminaire de logique catégorique. Pour lui, la logique essaie de décrire de façon très schématique comment notre cerveau fonctionne.