Christopher Verhoef (nacido en 1962) es un informático holandés y profesor de informática en la Vrije Universiteit de Ámsterdam.
Biografía
Nacido en Kedichem en 1962, Verhoef recibió su doctorado en ciencias de la computación en la Universidad de Amsterdam 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 en Programación de la Universidad de Amsterdam, donde en 1990 había publicado su primer informe "Sobre el operador de registro". A principios de la década de 1990 se incorporó 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 los 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 los procesos de comunicación en 1994 y 1995.
En 1996/97 regresó al Grupo de Investigación en Programación de la Universidad de Amsterdam, donde comenzó a centrarse en la ingeniería inversa , la "teoría y práctica de la recuperación de información de software y sistemas existentes". [3] En 1997 copresidió la Cuarta Conferencia de Trabajo de la Sociedad de Computación IEEE 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ún más en los campos de la semántica operativa estructurada y la gestión de carteras de TI .
Publicaciones Seleccionadas
Artículos, una selección. [4]
- Verhoef, Chris. "Un teorema de congruencia para la semántica operacional estructurada con predicados y premisas negativas". Nordic Journal of Computing 2.2 (1995): 274-302.
- Aceto, Luca, Wan Fokkink y Chris Verhoef. Semántica operacional estructural . BRICS, Departamento de Ciencias de la Computación, Universidad de Aarhus, 1999.
- Lämmel, Ralf y Chris Verhoef. "Recuperación gramatical semiautomática". Software: práctica y experiencia 31.15 (2001): 1395-1438.
- Klint, Paul, Ralf Lämmel y Chris Verhoef. " Hacia una disciplina de ingeniería para grammarware ". Transacciones de ACM sobre ingeniería y metodología de software (TOSEM) 14.3 (2005): 331-380.
- Eveleens, J. Laurenz y Chris Verhoef. " El ascenso y la caída del caos informan las cifras ". Software IEEE 27.1 (2010): 30-36.
Referencias
- ^ Chris Verhoef en el Proyecto de genealogía matemática
- ^ Álgebra de procesos de comunicación en cs.vu.nl.
- ^ El lado oscuro del Millennium Bug , Paul Wouters. ScienceChannel, octubre de 1998.
- ^ Chris Verhoef en elservidor de bibliografía DBLP
enlaces externos
- Chris Verhoef en uva.nl
- Página de inicio (con muchos artículos).
- Chris Verhoef en el Proyecto de genealogía matemática