Professor Dines Bjorner, Technical University of Denmark Share This PageProfessor Dines Bjorner, Technical University of Denmark