|
Computers can perform complex computations and solve difficult problems provided these are described in a precise and formal way. Our group develops and investigates various models of reasoning and computation. We design formal languages for describing problem domains, in particular programming languages, and analyse their expressive power and computational behaviour. We use these languages for specification, analysis and synthesis of programs, verification and automated deduction.
Research areas:
-
Semantics of programming languages
-
Computational and mathematical logic
-
Knowledge representation and automated reasoning
-
Universal algebra and model theory
-
Type theory
-
Foundations of Security
Liaisons:
-
Advances in Modal Logic (AiML)
-
London Logic Forum (LLF)
-
London Theoretical Computer Science Seminar (LTCS Seminar)
|
|
|
