Value proposition

Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable.

Galois’ mission is to create trustworthiness in critical systems. We’re in the business of taking blue-sky ideas and turning them into real-world technology solutions, through cutting-edge research and expert engineering. Galois works with government and industry to develop technologies that have a significant impact on society in areas of privacy, security, and safety.

high assurance software, formal methods, functional programming, software security, and machine learning