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 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.

\r\n

The Software Modelling and Applied Logic group concentrates on two related research directions:

\r\n

\r\n
• The formulation and applications of logic and mathematics across the gamut of computer science and software engineering, including quality of service, business computing, service oriented architectures, model driven architecture, security and artificial intelligence.
\r\n
• Various models of reasoning, and computation, applying them to the design of programming languages, specification languages, theorem provers, information and software security, and software modelling tools.
\r\n