Project Collaborators

Academic

: This list is under development.

• Dines Bjørner, IT/DTU
• Bo Stig Hansen, IT/DTU
• Anne Haxthausen, IT/DTU

Other Institutional

: This list is informal and provisional.

• Informal: Jyske Bank, IT Department
• Informal: Den Sanske bank