Крис Верхоф - Chris Verhoef

Кристофер (Крис) Верхоф (1962 г.р.) - голландец специалист в области информатики, и профессор компьютерных наук в Vrije Universiteit в Амстердаме.

биография

Рожден в Кедичем в 1962 году Верхоф получил докторскую степень по информатике в Амстердамский университет в 1992 г. под руководством Ян Бергстра с диссертацией «Линейные унарные операторы в алгебре процессов».[1]

Верхоф работал в качестве дипломника в исследовательской группе программирования Амстердамского университета, где в 1990 году опубликовал свой первый отчет «Об операторе регистров». В начале 1990-х он поступил на кафедру математики и информатики Эйндховенский технологический университет. Одним из его первых исследовательских интересов была Алгебра коммуникационных процессов, «алгебраическая теория для описания процессов, которые могут общаться».[2] Первоначально это поле было разработано Ян Бергстра и Ян Виллем Клоп в 1982 году. Вместе с Альбаном Понсе и Бас ван Влайменом Верхоф инициировал первые два международных семинара по алгебре коммуникативных процессов в 1994 и 1995 годах.

В 1996/97 он вернулся в исследовательскую группу по программированию Амстердамского университета, где сосредоточился на Обратный инжиниринг, «Теория и практика восстановления информации из существующих программ и систем».[3] В 1997 году он был сопредседателем Четвертой рабочей конференции компьютерного сообщества IEEE по обратному проектированию.

С начала 2000-х годов Верхоф является профессором компьютерных наук в Vrije Universiteit в Амстердаме. Его исследовательские интересы также простираются в области структурированная операционная семантика, и Управление ИТ-портфелем.

Избранные публикации

Статьи, подборка.[4]

  • Верхоф, Крис. «Теорема сравнения для структурированной операционной семантики с предикатами и отрицательными предпосылками». Северный вычислительный журнал 2.2 (1995): 274-302.
  • Ацето, Лука, Ван Фоккинк и Крис Верхоф. Структурная операционная семантика. БРИКС, Департамент компьютерных наук, Орхусский университет, 1999.
  • Лэммель, Ральф и Крис Верхоф. «Полуавтоматическое восстановление грамматики». Программное обеспечение: практика и опыт 31.15 (2001): 1395-1438.
  • Клинт, Пол, Ральф Лэммель и Крис Верхоф. "К инженерной дисциплине для грамматики." ACM Transactions по программной инженерии и методологии (TOSEM) 14.3 (2005): 331-380.
  • Эвелинс, Дж. Лоренц и Крис Верхоф. "Взлет и падение цифр отчета о хаосе." Программное обеспечение IEEE 27.1 (2010): 30-36.

использованная литература

  1. ^ Крис Верхоф на Проект "Математическая генеалогия"
  2. ^ Алгебра коммуникационных процессов на cs.vu.nl.
  3. ^ Темная сторона ошибки тысячелетия, Пол Воутерс. ScienceChannel, октябрь 1998 г.
  4. ^ Крис Верхоф в DBLP Сервер библиографии Отредактируйте это в Викиданных

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