Крис Верхоф
Крис Верхоф | |
|---|---|
 Комиссия ICT - Слушания, день 1 - Крис Верхоф, 2014 | |
| Рожденный | Кристофер Верхоеф 1962 |
| Национальность | Голландский |
| Альма-матер | Амстердамский университет |
| Известный | Структурированная операционная семантика |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Свободный университет |
| Веб-сайт | Домашняя страница на cs.vu.nl |
Кристофер (Крис) Верхуф (род. 1962) — голландский ученый-компьютерщик и профессор компьютерных наук во Vrije Universiteit в Амстердаме.
Биография
Родившийся в Кедихеме в 1962 году, Верхоф получил докторскую степень по информатике в Амстердамском университете в 1992 году под руководством Яна Бергстры, защитив диссертацию на тему «Линейные унарные операторы в алгебре процессов». [1]
Верхоф выполнил свою дипломную работу в Программной исследовательской группе Амстердамского университета, где в 1990 году он опубликовал свой первый доклад «О регистровом операторе». В начале 1990-х годов он присоединился к кафедре математики и вычислительной техники Эйндховенского технического университета . Одним из его первых исследовательских интересов была алгебра коммуникабельных процессов , «алгебраическая теория для описания процессов, которые могут коммуницировать». [2] Эта область была первоначально разработана Яном Бергстрой и Яном Виллемом Клопом в 1982 году. Вместе с Альбаном Понсе и Басом ван Влийменом Верхоф инициировал первые два международных семинара по алгебре коммуникабельных процессов в 1994 и 1995 годах.
В 1996/97 он вернулся в Программную исследовательскую группу Амстердамского университета, где начал заниматься обратным проектированием , «теорией и практикой восстановления информации из существующего программного обеспечения и систем». [3] В 1997 году он был сопредседателем Четвертой рабочей конференции IEEE Computer Society по обратному проектированию.
С начала 2000-х годов Верхоф является профессором компьютерных наук в Vrije Universiteit в Амстердаме. Его исследовательские интересы далее распространяются на области структурированной операционной семантики и управления портфелем ИТ .
Избранные публикации
Статьи, подборка. [4]
- Верхоф, Крис. «Теорема конгруэнтности для структурированной операционной семантики с предикатами и отрицательными посылками». Nordic Journal of Computing 2.2 (1995): 274-302.
- Aceto, Luca, Wan Fokkink и Chris Verhoef. Структурная операционная семантика. BRICS, Кафедра компьютерных наук, Университет Орхуса, 1999.
- Лэммель, Ральф и Крис Верхоф. «Полуавтоматическое восстановление грамматики». Программное обеспечение: Практика и опыт 31.15 (2001): 1395-1438.
- Клинт, Пол, Ральф Лэммель и Крис Верхоф. «На пути к инженерной дисциплине для грамматического программного обеспечения». Труды ACM по программной инженерии и методологии (TOSEM) 14.3 (2005): 331-380.
- Эвелинс, Дж. Лоренц и Крис Верхоф. «Взлет и падение хаоса в отчетах о цифрах». IEEE software 27.1 (2010): 30-36.
Ссылки
- ^ Крис Верхоф в проекте «Генеалогия математики»
- ^ Алгебра взаимодействующих процессов на cs.vu.nl.
- ↑ Темная сторона «жука тысячелетия», Пол Воутерс. ScienceChannel, октябрь 1998 г.
- ^ Крис Верхоф на сервере библиографии DBLP
Внешние ссылки
- Крис Верхоф на uva.nl
- Домашняя страница (со множеством статей).
- Крис Верхоф в проекте «Генеалогия математики»
