Nicolaas van der Torre — Dutch logician and computer scientist | namepick