English Dines Bjørner Cited by user Jpbowen on 11 Dec 2021 Professor Dines Bjørner (born 4 October 1937, in Odense) is a Danish computer scientist.