Alberto Naibo est Maître de conférences à l'Université Paris 1. Son domaine de spécialisation est la philosophie de la logique, et plus particulièrement la théorie de la démonstration et ses applications aux théories inférentialistes de la signification. Ses recherches concernent l'étude des aspects épistémiques intrinsèques à l’activité logique et mathématique, ainsi que la possibilité de leur donner un statut formel, grâce à l’emploi d’instruments tirés de réflexions sur les opérateurs modaux, l’application de règles structurelles et la théorie de la calculabilité.