Ян Л.А. ван де Снепшеут

Ян Л.А. ван де Снепшеут
Рожденный	( 1953-09-12 ) 12 сентября 1953 г. Остерхаут , Нидерланды
Умер	23 февраля 1994 г. ) ( 1994-02-23 ) ( 40 лет Ла Каньяда Флинтридж, Калифорния , США
Национальность	Голландский
Альма-матер	Эйндховенский технологический университет
Научная карьера
Поля	Информатика
Учреждения	Эйндховенский технологический университет , Университет Твенте , Гронингенский университет , Калифорнийский технологический институт
Докторантура	Мартин Рем, Эдсгер Дейкстра
Докторанты	Питер Хофсти

Йоханнес Ламбертус Адриана ван де Снепшеут (англ. Голландский: [ˈsnɛpsxøːt] ; 12 сентября 1953 — 23 февраля 1994) — голландский учёный-компьютерщик и педагог . Он был учеником Мартина Рема и Эдсгера Дейкстры . На момент смерти он был профессором вычислительной техники в Калифорнийском технологическом институте . Он также разрабатывал редактор для доказательства теорем под названием «Proxac».

Биография

Ван де Снепшеут окончил Технологический университет Эйндховена по специальности инженер-электрик в 1977 году, а диссертацию защитил Франс Э. Дж. Крусман Арец с математического факультета. За это время он также стал соучредителем компании по производству микропроцессоров, а позже основал вторую. Проработав год в Университете Твенте , он вернулся в Эйндховен, где в 1983 году получил докторскую степень. Затем он провел год, посещая Калифорнийский технологический институт, прежде чем начать работать преподавателем в Гронингенском университете . В 1988 году ван де Снепшеут вернулся с семьей обратно в Калифорнийский технологический институт, где продолжил исследовательскую карьеру и опубликовал книгу « Что такое вычислительная техника» .

Рано утром 23 февраля 1994 года ван де Снепшеут напал на свою спящую жену Терре (в другом месте называемую Деревьями). ), предположительно с топором, позже найденным на этом месте. Затем он поджег их дом и умер, когда он горел вокруг него. Терре и трое их детей в возрасте 14, 12 и 10 лет сбежали из горящего дома.

Избранная библиография

• Теория трассировки и проектирование СБИС , кандидатская диссертация, полностью написанная от руки, включая указатель. . Позже опубликовано как том 200 конспектов лекций по информатике. .
• Что такое вычисления , обзор избранных фундаментальных тем в области информатики, описанный Дейкстрой как «абсолютное сокровище, ярко отражающее как энтузиазм [ван де Снепшеута] как ученого, так и его преданность делу как педагога». .

Внешние ссылки

• Цитаты, связанные с Яном Л.А. ван де Снепшеутом , в Wikiquote