TVblik dossier Henk Barendregt https://tvblik.nl/ Jouw blik op internettelevisie nl-nl Copyright 2024 tvblik.nl Thu, 21 Nov 2024 15:08:56 +0100 20 Profiel :: Henk Barendregt https://tvblik.nl/profiel-1/henk-barendregt https://tvblik.nl/profiel-1/henk-barendregt <img src="/afbeelding/uitzending-groot/profiel-1/henk-barendregt.jpg" align=left style="margin: 5px;">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. Thu, 24 Feb 2011 07:03:09 +0100 Eva Jinek IKON Human KRO-NCRV Henk Barendregt Profiel