When Michael founded the Applied Logic Laboratory at the University of Amsterdam in the brittle 90's (a research institute dedica...