Dines Bjørner

Ph.d, Dr.h.c., Prof. Emeritus

Institut for Matematik og Computer Science

Richard Petersens Plads

Bygning 321 Rum 006

2800 Kgs. Lyngby

Danmark

45257341

dibj@dtu.dk