Project Collaborators

Academic

: This list is under development.

• Dines Bjørner, IT/DTU
• Bo Stig Hansen, IT/DTU
• Anne Haxthausen, IT/DTU
• Jan Peleska, Univ. of Bremen, Germany

Students

: This list is under development.

• Søren Bache, Carsten Hess and Kristian Kalsing db/racosy/sbchkk.ps: Danish report!

Other Institutional

: This list is informal and provisional.

• FMERail -- CE Esprit EP 26538: Note: The FMERail URL has yet to open!
  • IFAD, Odense, Denmark. Dr. Peter Gorm Larsen
  • Terma Electronics, Birkerød, Denmark. Jan Stobank Pedersen
  • Formal Systems (Europe) Ltd., Oxford, UK. Dr. Michael Goldsmith
    Oxford University Programming Research Group. Dr. Jim Woodcock
  • NP Technology AB, Stockholm, Sweden
  • atelier B / Steria, Aix en Provence, France
• Banestyrelsen (Danish Railway Agency), Copenhagen
  The Department of Information technology has so far had two PhD and a number of MSc Thesis projects with the Danish Railway Agency. The Software Systems Group intends to further build up its relation with the Danish Railway Agency and with DSB, the leading Danish railway (train) operator.
• Chinese Railways, Computer Centers, Beijing, Shanghai and ZhengZhou
  Dines Bjørner, while UN Director of UNU/IIST led a major three year, 15 man-year effort on researching and developing software for train dispatch.
• Inst. of Systems Programming (ISP), Russian Academy of Science (RAS), Moscow
  ISP/RAS is seeking World Bank (infoDev support for its version of RaCoSy. ISP/RAS collaborates with the Ministry of Transport, The Russian Federation, with UNU/IIST, and with our group.
• UNU/IIST, Macau