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.

Let's Work TogetherStart the Conversation >>