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 Activity-Based Computing project funded by NABIIT.
• The Collaborative Mini-Grid project funded by NABIIT.
• The AWARE project done in cooperation with Horsens Sygehus.
• The Java Context-Awareness Framework (JCAF).
• The Successful Electronic Health Record (S-EHR) project funded by NABIIT.
• Next (2002-2009), funded by Microsoft Development Center Copenhagen and the IT University.
• Evolvable Software Products (2006-2010), funded by NABIIT, Microsoft DCC, DHI, 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

• Andrzej Wąsowski, associate professor | publications | student projects | sampler of PhD projects
• Aurelien Tabard, postdoc
• Jakob E. Bardram, professor. | openings | research | publications
• Joe Kiniry, associate professor
• Jonathan Bunde-Pedersen, postdoc
• Kasper Østerbye, associate professor
• M. Ali Babar, associate professor
• Peter Sestoft, professor, head of group | publications | student projects
• Rune Møller Jensen, associate professor
• Sofiane Gueddana, postdoc
• Søren Lauesen, professor
• Yvonne Dittrich, associate professor

• Afsaneh Doryab
• Alberto Delgado-Ortegon
• Dario Pacino
• Dermot Cochran
• Hannes Mehnert
• Helge Pfeiffer
• Josu Martinez
• Kosta Pandazo
• Johan Bolmsten
• Juan Ramos Hincapie
• Kevin Tierney
• Mohammad Amin Kuhail
• Neela Narayanan Venkataraman
• Paolo Tell
• Rosalba Giuffrida
• Shangjin Xu
• Søren Lippert

• Vibeke Ervø, student assistant, ESP

• Anders Hessellund, PhD
• Jacob W Jespersen, PhD
• Kasper B. Graversen, PhD
• Lene Pries Heje, PhD
• Hataichanok Unphon, PhD
• Sebastien Vaucouleur, PhD
• Steen Brahe, PhD

• List of lunch talks
• Sebastien Vaucouleur defended his Ph.D. on Thursday 1 October 2009
• An informal study group on Experimentation in Software Engineering
• Anders Hessellund will defend his Ph.D. on Domain-Specific Multimodeling on 6 February 2009.
• PhD Seminar on Modern Virtual Machines, Meta-Programming, F# by Antonio Cisternino, University of Pisa
• Erik Meijer, Microsoft, Redmond USA, will visit Friday 28 September 2007 and give a talk at 1315 in auditorium 4
• Thomas Jensen, Rennes, France, will visit Friday 9 February 2007 and give a talk on proof-carrying code 1400-1500 in auditorium 3
• Mads Torgersen, Microsoft Redmond, will give a talk on C# 3.0 and expression trees Wednesday 7 February 2007 at 1300 in auditorium 3
• FIRST Research School Workshop on software evolution, Thursday 14 December 2006 in ITU room 4A14
• We are co-organizing a preview of the SDT course specialization Advanced Models and Programs, part 2, fall 2006
• 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
• PhD Defense: Jacob W Jespersen, Friday 6 October 2006
• Seminar: Aspects are a frame-of-mind, Friday 6 October 2006
• Seminar: Mutual Satellites - Round-trip Modeling for Complete Applications, Thursday 5 October 2006

• Administrative shortcuts
• Internal pages

• Address: Software Development Group, IT University of Copenhagen, Wing 4D, Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark
• Getting there: Map
• Tel: +45 72 18 50 00
• Email: sestoft@itu.dk