Chris Verhoef - Chris Verhoef

Christopher (Chris) Verhoef (narozen 1962) je Holanďanka počítačový vědec a profesor výpočetní techniky na Vrije Universiteit v Amsterdamu.

Životopis

Narozen v Kedichem v roce 1962 získal Verhoef titul PhD v oboru počítačových věd na University of Amsterdam v roce 1992 pod dohledem Jan Bergstra s prací „Lineární unární operátory v procesní algebře.“[1]

Verhoef absolvoval postgraduální práci ve Programovací výzkumné skupině na univerzitě v Amsterdamu, kde v roce 1990 publikoval svou první zprávu „O provozovateli registru“. Počátkem 90. let nastoupil na Katedru matematiky a výpočetní techniky v Brně Eindhoven University of Technology. Jedním z jeho prvních výzkumných zájmů byl Algebra komunikačních procesů, „algebraická teorie k popisu procesů, které mohou komunikovat.“[2] Toto pole bylo původně vyvinuto Jan Bergstra a Jan Willem Klop v roce 1982. S Albanem Ponseem a Bas van Vlijmenem zahájil Verhoef první dva mezinárodní workshopy o algebře komunikačních procesů v letech 1994 a 1995.

V letech 1996/97 se vrátil do Programming Research Group na univerzitě v Amsterdamu, kde se začal zaměřovat na Reverzní inženýrství „teorie a praxe obnovy informací ze stávajícího softwaru a systémů.“[3] V roce 1997 spolupředsedal čtvrté pracovní konferenci IEEE Computer Society o reverzním inženýrství.

Od počátku dvacátých let je Verhoef profesorem informatiky na Vrije Universiteit v Amsterdamu. Jeho výzkumné zájmy se dále rozšiřují v oblastech strukturovaná operační sémantika, a Správa portfolia IT.

Vybrané publikace

Články, výběr.[4]

  • Verhoef, Chris. „Věta o shodě pro strukturovanou operační sémantiku s predikáty a zápornými premisami.“ Severský žurnál výpočetní techniky 2.2 (1995): 274-302.
  • Aceto, Luca, Wan Fokkink a Chris Verhoef. Strukturální operační sémantika. BRICS, Katedra informatiky, University of Aarhus, 1999.
  • Lämmel, Ralf a Chris Verhoef. „Poloautomatické zotavení gramatiky.“ Software: Practice and Experience 31.15 (2001): 1395-1438.
  • Klint, Paul, Ralf Lämmel a Chris Verhoef. "Směrem k technické disciplíně pro gramatiku." Transakce ACM v softwarovém inženýrství a metodice (TOSEM) 14,3 (2005): 331-380.
  • Eveleens, J. Laurenz a Chris Verhoef. "Vzestup a pád zpráv o chaosu." Software IEEE 27.1 (2010): 30-36.

Reference

  1. ^ Chris Verhoef na Matematický genealogický projekt
  2. ^ Algebra komunikačních procesů na cs.vu.nl.
  3. ^ Temná stránka Millennium Bug, Paul Wouters. ScienceChannel, říjen 1998.
  4. ^ Chris Verhoef na DBLP Bibliografický server Upravte to na Wikidata

externí odkazy