Software Development Group / IT University of Copenhagen
The Software Development Group at the IT University of Copenhagen does research on software development, broadly speaking. Our interests include requirements specification, user interface design, user interface software technology, ubiquitous computing, decision support systems, empirical studies of software development in organizations, object-oriented methodology and notations, software architectures, programming language technology for functional and object-oriented languages, model-driven development, ontology, use-oriented development, software verification, computer-based voting, applied formal methods, and more. Much of our research is practically motivated and is executed in collaboration with industrial partners such as KMD, Microsoft Development Center Copenhagen, Danske Bank, A.P. Møller-Mærsk, Edlund A/S, CLC Bio A/S, and DHI Water and Environment, as well with the Danish public sector, such as major hospitals and government offices involved in the design of standard contracts for public IT procurement.
Tools and Methods for Scalable Software Verification funded by DFF |
FTP.
-
-
The
AWARE project done in cooperation with Horsens Sygehus.
-
-
Next (2002-2009), funded by Microsoft Development Center Copenhagen and the IT University.
-
Resource-constrained embedded systems (1999-2005).
MOBIUS (Mobility, Ubiquity and Security) Enabling proof-carrying code for Java on mobile devices (EU FP6, 2005-2009).
CHARTER (Critical and High Assurance Requirements Transformed through Engineering Rigour) - An ARTEMIS Embedded Computing Systems Initiative project (EU FP7 2009-2011).
SenseTile Large-scale experiments with complex multimedia sensing and processing at terabyte scales (SFI, 2009-2010)
Votail Formal specification and verification of elections
FReSH - Verified self-healing systems
-
-
-
-
-
-
M. Ali Babar, associate professor
-
-
Sofiane Gueddana, postdoc
-
-
-
-
-
Lene Pries Heje, PhD
-
-
Steen Brahe, PhD
-
-
-
-
-
Erik Meijer, Microsoft, Redmond USA, will visit Friday 28 September 2007 and give a talk at 1315 in auditorium 4
-
-
-
-
Guest lecture by Stephen Gif (Microsoft):”User Experience Research and the Product Lifecycle”, 2A18, 4 December 2006, 1pm-2.30pm
Next Workshop, Thursday 9 November 2006 at 1300-1630 in ITU room 2A12
-
-
-
Address: Software Development Group, IT University of Copenhagen, Wing 4D, Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark
-
Tel: +45 72 18 50 00
-