Next: Introduction Contents
Dines Bjørner's Home Page
Professor Emeritus of Computing
Science, M.Sc.E.E., Ph.D., Dr.Techn., Dr.h.c.
Dept. of Mathematics and Computer Science
Technical University of
Denmark, DK-2800 Kgs.Lyngby, Denmark
Fredsvej 11, DK-2840 Holte, Denmark
E-Mail address:
bjorner@gmail.com
January 16, 2023
Thanks to DTU Compute for kindly hosting this Web page.