Chris Verhoef

Chris Verhoef
Commission ICT - Hearing Day 1 - Chris Verhoef, 2014
Född	Christopher Verhoef 1962
Nationalitet	holländska
Alma mater	Universitetet i Amsterdam
Känd för	Strukturerad operativ semantik
Vetenskaplig karriär
Fält	Datavetenskap
institutioner	Vrije universitet
Hemsida	Hemsida på cs.vu.nl

Christopher (Chris) Verhoef (född 1962) är en nederländsk datavetare och professor i datavetenskap vid Vrije Universiteit i Amsterdam.

Biografi

Född i Kedichem 1962, doktorerade Verhoef i datavetenskap vid universitetet i Amsterdam 1992 under handledning av Jan Bergstra med avhandlingen "Linjära unära operatorer i processalgebra."

Verhoef hade gjort sitt examensarbete vid programmeringsforskningsgruppen vid universitetet i Amsterdam, där han 1990 publicerade sin första rapport "Om registeroperatören." I början av 1990-talet började han på Institutionen för matematik och datavetenskap vid Eindhovens tekniska universitet . Ett av hans första forskningsintressen var Algebra of Communicating Processes , en "algebraisk teori för att beskriva processer som kan kommunicera." Detta område utvecklades ursprungligen av Jan Bergstra och Jan Willem Klop 1982. Med Alban Ponse och Bas van Vlijmen initierade Verhoef de första två internationella workshops om algebra för kommunikationsprocesser 1994 och 1995.

1996/97 återvände han till programmeringsforskningsgruppen vid universitetet i Amsterdam, där han började fokusera på reverse engineering , "teorin och praktiken för att återställa information från befintlig programvara och system." 1997 var han medordförande för den fjärde IEEE Computer Society Working Conference on Reverse Engineering.

Sedan början av 2000-talet är Verhoef professor i datavetenskap vid Vrije Universiteit i Amsterdam. Hans forskningsintressen sträcker sig ytterligare inom områdena strukturerad operativ semantik och IT Portfolio Management .

Utvalda publikationer

Artiklar, ett urval.

• Verhoef, Chris. "En kongruenssats för strukturerad operativ semantik med predikat och negativa premisser." Nordic Journal of Computing 2.2 (1995): 274-302.
• Aceto, Luca, Wan Fokkink och Chris Verhoef. Strukturell operativ semantik . BRICS, Institutionen för datavetenskap, Aarhus Universitet, 1999.
• Lämmel, Ralf och Chris Verhoef. "Halvautomatisk grammatikåterställning." Programvara: Practice and Experience 31.15 (2001): 1395-1438.
• Klint, Paul, Ralf Lämmel och Chris Verhoef. " Mot en ingenjörsdisciplin för grammatik ." ACM Transactions on Software Engineering and Methodology (TOSEM) 14.3 (2005): 331-380.
• Eveleens, J. Laurenz och Chris Verhoef. " Uppgången och fallet för kaosrapporten siffror. " IEEE programvara 27.1 (2010): 30-36.

externa länkar

• Chris Verhoef på uva.nl
• Hemsida (med många artiklar).
• Chris Verhoef vid Mathematics Genealogy Project