Christopher (Chris) Verhoef (nacido en 1962) es un informático holandés y profesor de Ciencias de la Computación en la Vrije Universiteit de Ámsterdam.
Nacido en Kedichem en 1962, Verhoef se doctoró en informática en la Universidad de Ámsterdam en 1992 bajo la supervisión de Jan Bergstra con la tesis "Operadores unarios lineales en álgebra de procesos". [1]
Verhoef había realizado su trabajo de posgrado en el Grupo de Investigación de Programación de la Universidad de Ámsterdam, donde en 1990 había publicado su primer informe "Sobre el operador de registro". A principios de la década de 1990 se unió al Departamento de Matemáticas y Ciencias de la Computación de la Universidad Tecnológica de Eindhoven . Uno de sus primeros intereses de investigación fue el Álgebra de Procesos de Comunicación , una "teoría algebraica para describir procesos que pueden comunicarse". [2] Este campo fue desarrollado inicialmente por Jan Bergstra y Jan Willem Klop en 1982. Con Alban Ponse y Bas van Vlijmen, Verhoef inició los dos primeros Talleres Internacionales sobre el Álgebra de Procesos de Comunicación en 1994 y 1995.
En 1996/97 regresó al Grupo de Investigación de Programación de la Universidad de Ámsterdam, donde comenzó a centrarse en la ingeniería inversa , la "teoría y práctica de recuperar información de software y sistemas existentes". [3] En 1997, copresidió la Cuarta Conferencia de Trabajo de la IEEE Computer Society sobre Ingeniería Inversa.
Desde principios de la década de 2000, Verhoef es profesor de informática en la Vrije Universiteit de Ámsterdam. Sus intereses de investigación se extienden a los campos de la semántica operativa estructurada y la gestión de carteras de TI .
Artículos, una selección. [4]