Projects

Ongoing

  • Trustworthy Democratic Technology (DemTech). PI: Carsten Schürmann, funded by The Danish Council for Strategic Research. Duration: 1. July, 2011- 30. June 2017.
  • Guarded recursive types in the foundations of programming languages. PI: Rasmus Møgelberg, funded by the Danish agency for research and innovation. Duration: 2015-2018.
  • ProSec - Mapping Emergency and Security Processes in the Danish Energy and Public Transport Sectors and their Dependency on ICT, joint project between ITU, Metropol, DSB and BaneDanmark, supported by Forsvarsakademiet
  • MetaCLF 2. coPI: Carsten Schürmann and PI: Iliano Cervesato, CMU Qatar, funded by the Qatar National Research Foundation (QNRF).
  • Behavioural Types for Reliable Large-Scale Software Systems (BETTY) EU Cost Action IC 1201
  • Twelf

Some past projects

  • CHOReography Driven programming and Security (CHORDS). PI: Marco Carbone. Steno research grant funded by the
    Danish agency for research and innovation. Duration: 2011-2013
  • Modeller og detaljerede kalkuler for effekter i programmeringssprog. PI: Rasmus Møgelberg. Steno research grant funded by the Danish agency for research and innovation. Duration: 2007-2010.
  • Bigraphical Programming Languages (BPL)
  • TrustCare. Funded by the Danish Strategic Research Agency. Duration: 2008-2012
  • The LifeFlow Project (DSL for Programming Interactive Processes)