Хенк Барендрегт

• Биография Хенка Барендрегта

  • Голландский логик, известен работами в лямбда-исчислении и теории типов. 
  • Получил образование в Утрехтском университете и Стэнфордском университете. 
  • Преподавал в Утрехтском университете и Университете Радбуда, возглавляет кафедру математики и компьютерных наук в последнем. 

• Исследовательская деятельность

  • Исследует конструктивную интерактивную математику. 
  • Адъюнкт-профессор в Университете Карнеги-Меллон. 
  • Приглашенный ученый в различных университетах. 

• Признание и награды

  • Избран членом Европейской академии в 1992 году и Королевской Нидерландской академии искусств и наук в 1997 году. 
  • Получил премию Spinozapremie в 2003 году и был посвящен в рыцари Ордена Нидерландского льва в 2002 году. 
  • В 2015 году получил почетную докторскую степень в Университете Хериот-Уотт. 

• Избранные публикации

  • Список публикаций включает статьи и книги по математической логике и информатике. 

• Дополнительные сведения

  • Ссылки на внешние ресурсы, включая домашнюю страницу и профиль в базе данных zbMATH.