Dines Bjørner's Home Page
Professor Emeritus of Computing Science, M.Sc.E.E.,
Ph.D., Dr.Techn.
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
September 12, 2022
Thanks to DTU Compute for kindly hosting this Web page.