The Software Modelling and Applied Logic group studies modelling and engineering of software systems, and applications of logic and mathematics to computer science, artificial intelligence, information and software security, and multi-agent systems.

Members of the Software Modelling and Applied Logic group are well known for their research in the following areas:

• Software modelling and engineering (in particular, model-driven engineering, metamodelling and business computing).

• Development of tools and systems, (in particular, theorem provers, innovative programming languages and language workbenches, and compiler technology).

• Development of environments to support the specification of complex systems (in particular, software and model transformations), and analysis of properties such as correctness, quality of service and security.

• Logical models for knowledge representation and reasoning, computation, argumentation, multi-agent systems, the semantic web and large ontologies, common-sense and legal reasoning (in particular, research in spatial, temporal, algebraic, non-monotonic, multi-modal and description logics, and combining logical systems).

• Cyber-forensics, cyber-crime and cyber-security, both on the technical and strategical levels (in particular, malware detection, denial of service attack, mitigation and digital forensic evidence recovery, and their societal, legal and political issues).