Hij was van 2007 tot en met 2022 deeltijdhoogleraar bij iCIS binnen Software Science. Daarnaast was hij UHD aan de Technische Universiteit Eindhoven.
Hans studeerde wiskunde in Groningen en promoveerde vervolgens in Amsterdam. Daarna werkte hij enige tijd in het bedrijfsleven en aan de universiteit Utrecht om vanaf 2000 als UHD bij informatica aan de TU in Eindhoven te werken. Vanaf 2007 tot aan zijn pensioen was hij 1 dag per week deeltijdhoogleraar aan de Radboud Universiteit.
De expertise van Hans lag in de theoretische informatica: het begrijpen en bestuderen van de wiskundige structuren die in de
informatica een rol spelen. Hij was een internationaal vermaard onderzoeker op het gebied van termherschrijven en technieken en
computer-tools voor automatisch stellingen bewijzen. Op dit gebied heeft hij aan de RU de cursus "Automated Theorem Proving" opgezet en
jaren gegeven, en ook heeft hij de cursus "Complexity" opnieuw opgezet en met veel enthousiasme gegeven. Hans was een scherpzinnig denker die
streefde naar helderheid in definities en wiskundige bewijzen. Daarnaast was Hans een groot liefhebber van puzzels en
spelen en hoe je deze met slimme computertechnieken kunt modelleren en programmeren. Dit heeft geleid tot het prachtige boek "Spelen met
oneindigheid", direct na zijn pensioen. Hij was een bevlogen docent die veel studenten heeft begeleid en met zijn inzichten een grote bijdrage heeft geleverd aan het vakgebied.
Ons medeleven gaat uit naar zijn echtgenote Tineke, zijn kinderen Marieke en Wouter en verdere aanverwanten. We wensen hen veel sterkte toe.
Informatie over de uitvaart is te vinden in de Engelse versie van dit artikel.