Dines Bjørner Bibliographical Notes Research Biography Bibliography

Dines Bjørner

Bibliographical Notes
Research
Biography
Publication List

Professor Emeritus of Computing Science
Dept. of Mathematics and Computer Science
Technical University of Denmark, DK-2800 Kgs.Lyngby

Fredsvej 11, DK-2840 Holte, Denmark
May 16, 2013

Thanks to DTU Compute for kindly hosting this web page

Sept. 2007, Macau Sept. 2012, Holte

For more photos see Sect. 5

Research: I am currently researching, i.e., writing:
- [1] Domain Analysis : Paper Slides.
  The paper is now considered finished!
  I am now revising it into a publishable form!
Lecturing:
- I am, alas, not lecturing to MSc and PhD students at my own university.
  I miss eager, sceptic and capable students.
- But occasionally I do give last-year MSc students and PhD student
  courses at foreign universities. See Sect.3.
- I offer to lecture over [1] Domain Analysis Paper Slides.
  Two days, each of two 45 minute (PhD) lectures!

$\bgroup\color{red}$\bullet\bullet\bullet$\egroup$

$\bgroup\color{red}\fbox{\huge{{\color{blue}\textbf{\textsf{Micellaneous Information}}\color{black}}}}\egroup$
$\bgroup\color{red}$\bullet\bullet\bullet$\egroup$

Dines Bjorner 2013-05-16