Dines Bjørner was Prof. of Computing Science at The Techn. Univ. of Denmark (DTU) 1976–2007and is now a Prof. Emeritus at DTU. He was with IBM RD 1962–1976. At IBM Bjørner worked with Gene Amdahl (supercomputer design), John Backus (functional programming), E.F.Codd (rel ...