Galois

Galois specializes in the research and development of new technologies that solve the most difficult problems in computer science. We are passionate about the trustworthiness of critical systems, and work to ensure that the systems you depend on work as intended, and only as intended. Our team works closely with clients to achieve a balance between the privacy/cost/speed challenges involved in making systems more trustworthy.

our areas of technical expertise include cryptography, human computer interaction, software correctness, mobile security, machine learning, cyber physical systems and computer security.