Hans Zantema (original) (raw)

Hans Zantema (1956) is a Dutch mathematician and computer scientist, and professor at Radboud University in Nijmegen, known for his work on termination analysis.