Ян Л. А. ван де Снепшют - Jan L. A. van de Snepscheut

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

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

Рано утром 23 февраля 1994 года ван де Снепшют напал на свою спящую жену Терре с топором. Затем он поджег их дом и умер, когда тот горел вокруг него. Терре и трое их детей сбежали из горящего дома.[2]

Библиография

  • Ян Л. А. Ван Де Снепшют, Геррит А. Славенбург, Введение в аппаратное обеспечение понятия процессов, Новости компьютерной архитектуры ACM SIGARCH, апрель 1979 г.
  • Ян Л. А. Ван Де Снепшют, Теория трассировки и проектирование СБИС,, Конспект лекций по информатике, том 200, Springer, 1985.
  • Ян Л. А. Ван Де Снепшют, Что такое вычисления. Спрингер, 1993.[4]

Рекомендации

  1. ^ Дейкстра, Эдсгер В. (25 апреля 1994 г.). «Памяти Яна Л. А. ван де Снепшута (EWD1177)». Получено 21 мая, 2012.
  2. ^ а б Карлсон, Майк (24 февраля 1994 г.). «Профессор Калифорнийского технологического института умер после нападения на жену, поджог дома: насилие: дочь говорит, что видела, как ее отец зажигал спички, когда семья спасалась от огня. Мотив неизвестен». Лос-Анджелес Таймс. Получено 21 мая, 2012.
  3. ^ ван де Снепшют, Ян Л.А. (1993). «Proxac: редактор для преобразования программ». Технические отчеты Caltech Computer Science. Получено 23 мая, 2012.
  4. ^ Доктор философии Ван де Снепшюта. диссертация, полностью рукописная, включая указатель.

Εвнешние ссылки