Mathématicien français.

Élève de l'ENS (1940). Il soutient sa thèse en 1949 sous la direction d'Henri Cartan (« Homologie et cohomologie des algèbres de Lie »). Maître de conférences puis professeur à l'Université de Strasbourg jusqu'en 1963, puis professeur à l'Université de Grenoble jusqu'en 1986. Actif même après sa retraite au sein de l'Institut Fourier. Membre du groupe Bourbaki. Président de la Société Mathématiques de France en 1978. Participa à la création du CIRM (Centre international de rencontres mathématiques) à Luminy.
Surtout connu pour ses travaux en algèbre. «Il a réalisé des découvertes pionnières dans les domaines des suites spectrales associées à un complexe filtré, des cohomologies des espaces simpliciaux calculées à l'aide d'un complexe double, ou encore des cohomologies des algèbres de Lie pour lesquels il a pu définir ce qui a ensuite été appelé les complexes de Koszul.» (Académie des Sciences)

Élu membre correspondant de l’Académie le 28 janvier 1980 dans la section de mathématique.