Galois applies cutting edge computer science and mathematics to solve difficult technological problems.