Software Modelling and Applied Logic
The Software Modelling and Applied Logic group studies applications of logic and mathematics to computer science, software engineering, information and software security, multi-agent systems and AI. It investigates various models of reasoning and computation, designing formal languages and tools to describe problem domains (including, in particular, software systems and their security constraints), and analyse their trustworthiness, correctness, expressive power and computational behaviour.
The Software Modelling and Applied Logic group concentrates on two
related research directions:
-
We study the formulation and applications of logic and mathematics across the gamut of computer science and software engineering, including artificial intelligence, quaity of service, business computing service oriented architectures, model driven architecture, security, logical foundations
of computational semantics and research in natural language processing.
-
We develop and investigate various models of reasoning, argumentation, norms, and computation, applying them to the design of programming languages, specification languages, theorem provers, information and software security, and software modelling tools.