IT University of Copenhagen carries out research in many areas of computer science. Two of our research groups, the programming, logic and semantics group and the process and system models group, have leading researchers in the areas of software design, software verification and type theory. Members of such research groups publish regularly in top conferences such as POPL, LICS, CONCUR, and ESOP as well as top journals such as JACM, TOPLAS, and LMCS. Several partners of the project have collaborated with IT University of Copenhagen, among which Carnegie Melon University, University of Bologna, NOVA, and DCR Solutions . Collaborations with Carnegie Melon University, University of Bologna, and NOVA, Bitland and Xibis  and as well as with University of Leicester and University of Kent are underway for WP2, WP3 and WP4.

Leave a Reply