Жако де Баккер
Эта статья нуждается в дополнительных цитатах для проверки . ( апрель 2022 г. ) |
Жако де Баккер | |
---|---|
Рожденный | Якобус Виллем де Баккер 7 марта 1939 г. |
Умер | 13 декабря 2012 г. | (73 года)
Занятие | Полный профессор |
Академическое образование | |
Альма-матер | Свободный университет Амстердама |
Докторантура | Аад ван Вейнгаарден |
Академическая работа | |
Дисциплина | Информатика |
Якобус Виллем (Жако) де Баккер (7 марта 1939 — 13 декабря 2012) — голландский ученый-теоретик в области информатики и профессор Свободного университета Амстердама .
Биография
[ редактировать ]Де Баккер изучал математику в Vrije Universiteit и Амстердамском университете . Наконец, в 1967 году он получил докторскую степень под руководством Аада ван Вейнгаардена за диссертацию: « Формальное описание языков программирования: с применением определения АЛГОЛА 60» . С 1964 года он уже работал учёным в тогдашнем Mathematich Centrum (MC) в Амстердаме (с 1984 года Centrum Wiskunde & Informatica ). Позже он был главой отдела информатики, руководил кластерной разработкой программного обеспечения, а с 2002 года был научным сотрудником CWI. В 1973 году он также стал профессором информатики во Свободном университете, где в 2002 году стал почетным.
Работа
[ редактировать ]Как ученый-компьютерщик Де Баккер интересовался математической семантикой языков программирования (как предметом, в котором он был пионером) и их теорией доказательств (верификация программ). В 1972 году он был одним из основателей Европейской ассоциации теоретической информатики (EATCS), где с 1972 по 1982 год был вице-председателем, а с 1988 года — членом руководящего комитета.
В 1989 году он был удостоен членства в Королевской Нидерландской академии искусств и наук (KNAW). [1] В следующем году он стал членом Европейской академии . [2] В 2002 году он был удостоен звания кавалера Ордена Нидерландского Льва . [3] Де Баккер умер в возрасте 73 лет. [4]
Ссылки
[ редактировать ]- ^ «Якобус Виллем де Баккер» . Цифровой веб-центр истории науки в Нидерландах . Проверено 10 декабря 2023 г.
- ^ «Жако де Баккер» . Европейская академия. Архивировано из оригинала 6 июля 2022 года.
- ^ «Королевская награда профессору Жако де Баккеру» . Центр математики и информатики. 1 сентября 2002 г.
- ^ «Умер член CWI Жако де Баккер» . Центр математики и информатики. 10 января 2013 г.