Welcome to SQUARE

Software QUAlity REsearch group at the ITU Copenhagen

We study software quality. Software quality is a multifaceted concept. In the SQUARE group, we study the quality of programs (code), quality of data, and quality of software systems in use. We focus on a variety of software quality characteristics, such as extensibility, reusability, safety, reliability, trustworthiness, security, privacy, and fairness.



We build tools for software development aimed directly at improving quality
We study software systems to identify problems

We build tools for developers, designers, and decision makers aimed indirectly at improving quality
We study developers, designers, and decision makers which aims to identify problems in the process of building software

We build tools. To tackle real-world development problems, we build software tools that detect, prevent, and reduce software quality issues. We rely on object-oriented and functional programming, domain-specific modeling, automated reasoning, probabilistic inference, information flow analysis, static program analysis, and synthesis. Among others we have built or are building:

We develop theories and concepts. We use constructive, mathematical, and empirical methods to build, analyze, verify, investigate, and reverse engineer software and its quality. The conceptual and theoretical results from SQUARE include:

We attack real-world problems with you! We work with real software projects in the open-source ecosystem, industry, and academia. We provide developers with tools to ensure and assess the quality of software systems. Companies and public institutions can benefit from our empirical results and analysis methods to improve software quality. We gladly welcome Bachelor’s and Master’s students as well as companies and researchers from other institutions to join our projects on software quality.