Крис Верхуф

Крис Верхуф
Комиссия по ИКТ – Слушания, день 1 – Крис Верхуф, 2014 г.
Рожденный	Кристофер Верхуф 1962
Национальность	Голландский
Альма-матер	Амстердамский университет
Известный	Структурированная операционная семантика
Научная карьера
Поля	Информатика
Учреждения	Свободный университет
Веб-сайт	Домашняя страница на cs.vu.nl

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

Биография

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

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

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

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

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

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

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

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

• Крис Верхуф на uva.nl
• Домашняя страница (со множеством статей).
• Крис Верхуф в проекте «Математическая генеалогия»