Lecturer

• Professor emeritus, Dr.Techn., Dr.h.c., Dines Bjørner
• DTU Compute, Technical University, DK-2800 Kgs. Lyngby, Denmark
• https://www.imm.dtu.dk/˜dibj/ , bjorner@gmail.com