Jean-Louis Krivine est un mathématicien français spécialisé en logique mathématique.
Il est ancien élève de l'École normale supérieure (rue d'Ulm)-(promotion 1957), agrégé de mathématiques (1960), docteur d'État en mathématiques (1967), professeur des universités (professeur émérite à l'Université Paris Diderot), membre associé du laboratoire Preuves, Programmes et Systèmes.