Er is een fout opgetreden, probeer het later nog eens.

De NPO app

Download

Brandpunt Profiel

Henk Barendregt

23 feb 2011 22:55

HUMAN • 45 min

Henk Barendregt (1947) is hoogleraar aan de Radboud Universiteit in Nijmegen. Daarnaast heeft de Boeddhistische meditatitietechniek Vipassana zijn grote interesse.

Henk Barendregt (1947) is hoogleraar aan de Radboud Universiteit in Nijmegen en opereert op het grensvlak van de wiskunde, de informatica en de logica. Hij wordt mondiaal beschouwd als de meest gezaghebbende onderzoeker op het gebied van de lambdacalculus. Daarnaast heeft de Boeddhistische meditatitietechniek Vipassana zijn grote interesse. Henk Barendregt behaalde in 1968 zijn doctoraalexamen (cum laude) in de wiskundige logica. Hij promoveerde (eveneens cum laude) drie jaar later en vertrok op z'n 23ste naar de Stanford University in Californië. Internationale bekendheid kreeg hij vooral als auteur van het standaardwerk The Lambda Calculus: Its Syntax and Semantics (1984). De lambdacalculus is een computertaal die gebruikt wordt voor het verifiëren van hardware en software. De chip in onze mobiele telefoons is er bijvoorbeeld mee gecontroleerd.

Brandpunt Profiel >