Jump to content

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

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

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

Биография

[ редактировать ]

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

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

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

[ редактировать ]
  • Теория трассировки и проектирование СБИС , кандидатская диссертация, полностью написанная от руки, включая указатель. [3] . Позже опубликовано как том 200 конспектов лекций по информатике. [5] .
  • Что такое вычисления [6] , обзор избранных фундаментальных тем в области информатики, описанный Дейкстрой как «абсолютное сокровище, ярко отражающее как энтузиазм [ван де Снепшеута] как ученого, так и его преданность делу как педагога». [1] .
  1. ^ Jump up to: а б с Дейкстра, Эдсгер В. (май 1994 г.). «Ян Л.А. ван де Снепшеут» . Формальные аспекты вычислений . 6 : 247–249. дои : 10.1007/BF01215406 . Проверено 11 июля 2024 г. Ван де Снепшеут был членом редколлегии журнала.
  2. ^ Ван де Снепшеут, Ян Л.А. (1993). «Proxac: редактор для преобразования программ» . Технические отчеты Калифорнийского технологического института по информатике . Проверено 23 мая 2012 г.
  3. ^ Jump up to: а б Ван де Снепшеут, Ян Лос-Анджелес (14 октября 1983 г.). Теория трассировок и проектирование VSLI (кандидатская диссертация). Эйндховенский технологический университет . Проверено 11 июля 2024 г.
  4. ^ Карлсон, Майк (24 февраля 1994 г.). «Профессор Калифорнийского технологического института погиб после нападения на жену и поджога дома: Насилие: Дочь говорит, что видела, как ее отец зажигал спички, когда семья спасалась из огня. Мотив неизвестен» . Лос-Анджелес Таймс . Проверено 21 мая 2012 г.
  5. ^ Ван де Снепшеут, Ян Л.А. (1985). Теория трассировки и проектирование СБИС . Берлин: Шпрингер. стр. 141. ИСБН  3-540-15988-6 . Проверено 11 июля 2024 г.
  6. ^ Ван де Снепшеут, Ян Л.А. (1993). Что такое вычислительная техника . Нью-Йорк: Springer-Verlag. п. 478. ИСБН  0387940219 .
[ редактировать ]


Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: dbdd9a89d87a375b46569f855335b097__1720706460
URL1:https://arc.ask3.ru/arc/aa/db/97/dbdd9a89d87a375b46569f855335b097.html
Заголовок, (Title) документа по адресу, URL1:
Jan L. A. van de Snepscheut - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)