Research and Discovery
We offer thought leadership and unmatched technical expertise, built around our core capabilities:
- Formal methods: World-leader in the use of applied formal methods in the development of high assurance software, with experts in the use of theorem proving and model checking for software verification.
- Language design and analysis: World-leader in the design and use of languages and language tools to solve difficult problems in software security and safety, including the development of domain-specific languages, and tools for static and dynamic analysis of software.
- Broad expertise: Uniquely placed, with expertise at the cutting edge for security in operating systems, virtualization, secure communications, cyber-physical systems, cryptography, and assured information sharing.