Dines Bjørner

PhD, Dr.h.c., Prof. Emeritus

Department of Applied Mathematics and Computer Science

Richard Petersens Plads

Building 321 Room 006

2800 Kgs. Lyngby

Danmark

45257341

dibj@dtu.dk