Prof.dr. Hans Zantema, universitair hoofddocent bij de TU/e-faculteit Wiskunde & Informatica, is sinds 1 september deeltijdhoogleraar aan de Radboud Universiteit in Nijmegen. Hij heeft daar de bijzondere leeropdracht ‘Applications of term rewriting in theorem proving’ aanvaard. ‘Term rewriting’ is een formaat voor het beschrijven van berekeningen. ‘Theorem proving’ is een technologie om wiskundige bewijzen met behulp van de computer te controleren. Zantema richt zich binnen zijn vakgebied onder meer op het automatisch vinden van oplossingen van problemen met een grote zoekruimte.
|