Chrisa Verhoefa

Chris Verhoef
Komisja ICT – przesłuchanie, dzień 1 – Chris Verhoef, 2014 r
Urodzić się	Krzysztofa Verhoefa 1962
Narodowość	Holenderski
Alma Mater	Uniwersytet w Amsterdamie
Znany z	Ustrukturyzowana semantyka operacyjna
Kariera naukowa
Pola	Informatyka
Instytucje	Vrije Universiteit
Strona internetowa	Strona główna pod adresem cs.vu.nl

Christopher (Chris) Verhoef (ur. 1962) jest holenderskim informatykiem i profesorem informatyki na Vrije Universiteit w Amsterdamie.

Biografia

Urodzony w Kedichem w 1962 roku, Verhoef uzyskał doktorat z informatyki na Uniwersytecie w Amsterdamie w 1992 roku pod kierunkiem Jana Bergstry na podstawie pracy „Liniowe operatory jednoargumentowe w algebrze procesów”.

Verhoef ukończył pracę dyplomową w Programming Research Group na Uniwersytecie w Amsterdamie, gdzie w 1990 roku opublikował swój pierwszy raport „O operatorze rejestru”. Na początku lat 90. rozpoczął pracę na Wydziale Matematyki i Informatyki Politechniki w Eindhoven . Jednym z jego pierwszych zainteresowań badawczych była algebra procesów komunikacyjnych , „teoria algebraiczna opisująca procesy, które mogą się komunikować”. Dziedzina ta została początkowo opracowana przez Jana Bergstrę i Jana Willema Klopa w 1982 r. Wraz z Albanem Ponse i Bas van Vlijmen Verhoef zainicjował pierwsze dwa Międzynarodowe Warsztaty Algebry Procesów Komunikacyjnych w 1994 i 1995 r.

W latach 1996/97 powrócił do Programming Research Group na Uniwersytecie w Amsterdamie, gdzie zaczął koncentrować się na inżynierii odwrotnej , „teorii i praktyce odzyskiwania informacji z istniejącego oprogramowania i systemów”. W 1997 współprzewodniczył czwartej konferencji roboczej IEEE Computer Society poświęconej inżynierii wstecznej.

Od początku XXI wieku Verhoef jest profesorem informatyki na Vrije Universiteit w Amsterdamie. Jego zainteresowania badawcze obejmują ponadto ustrukturyzowaną semantykę operacyjną oraz zarządzanie portfelem IT .

Wybrane publikacje

Artykuły, wybór.

• Verhoef, Chris. „Twierdzenie o kongruencji dla ustrukturyzowanej semantyki operacyjnej z predykatami i przesłankami negatywnymi”. Nordic Journal of Computing 2.2 (1995): 274-302.
• Aceto, Luca, Wan Fokkink i Chris Verhoef. Strukturalna semantyka operacyjna . BRICS, Wydział Informatyki, Uniwersytet w Aarhus, 1999.
• Lämmel, Ralf i Chris Verhoef. „Półautomatyczne odzyskiwanie gramatyki”. Oprogramowanie: praktyka i doświadczenie 31.15 (2001): 1395-1438.
• Klint, Paul, Ralf Lämmel i Chris Verhoef. „ W kierunku dyscypliny inżynierskiej dla gramatyki ”. Transakcje ACM dotyczące inżynierii oprogramowania i metodologii (TOSEM) 14.3 (2005): 331-380.
• Eveleens, J. Laurenz i Chris Verhoef. „ Wzloty i upadki chaosu z raportu ”. Oprogramowanie IEEE 27.1 (2010): 30-36.

Linki zewnętrzne

• Chris Verhoef z uva.nl
• Strona główna (z wieloma artykułami).
• Chris Verhoef w Mathematics Genealogy Project