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