The Cost of Knowledge


Completeness result for regular expressions in bisimulation semantics

The completeness result for regular expressions in bisimulation semantics, with Clemens Grabmayer, presented at LICS'2020, was announced by GSSI as well as the VU

Chess game with longest "en prise"

A chess game between the late Willem Jan Wolthuis and me in 1987 holds the world record of longest en prise of a chess piece

Bikes are outlawed at the VU

My bike became the victim of overzealous campus wardens, opinion piece, Ad Valvas, August 2019 (in Dutch)

Millennium bug

March 20, 1999, the article De straf van God (in Dutch) in NRC Handelsblad treated my letter to the editor regarding the Millennium bug