woldridge,marya galois.com galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques. Category:programming and developer software Global Rank:944,461 visits:35.5K pages/Per:5.6 ADS