In December 2003 passed away:
Rob Gerth studied mathematics (specialisation Computer Science) at the Computer Science Department, Utrecht University. In 1981 he graduated cum laude.
Rob Gerth Researcher Computer Science
From May 1982 until October 1985 he was a member of the Department, working on his PhD thesis, supervised by Prof Dr Jan van Leeuwen and Prof Dr Willem-Paul de Roever. In November 1985 he went with De Roever to Eindhoven Technical University. He defendend his thesis Syntax-Directed Verification of Distributed Systems in Utrecht, on May 8 1989.
Those of us that were members of the department in those days long ago, have fond memories of Rob's humor, idiosyncratic way of walking and talking, and his outstanding abilities inside and outside computer science.
email@example.com, Mon Dec 15 14:16:42 MET 2003