Hans Zantema was born in 1956 in The Netherlands. He studied mathematics and received his PhD in pure mathematics in 1983. After a few years in industry he returned to university, in computer science. Apart from his position as an associate professor in computer science at Eindhoven University of Technology, from 2007 until his retirement in 2022 he was part time full professor at Radboud University in Nijmegen. His professional interest is mainly in mathematical reasoning, in particular applied to computation and automated reasoning. His hobbies include solving and designing logical puzzles.