Galois applies cutting-edge computer science and applied mathematics to solve difficult technological problems, delivering the latest groundbreaking technology in the form of practical solutions tailored to our clients’ needs.
The bigger and bolder the project, the better. We partner with scientists and engineers in industry, government, and academia to advance their toughest research agendas. Our research advances fundamental capabilities in computer science that have significant, broad-reaching implications.
Our passion for impact is baked into our DNA. Not only do we enable fundamental breakthroughs for our clients, we turn leading research into applied, practical solutions in our areas of expertise. We excel at fusing cutting-edge inventions with proven methods to solve our clients’ hardest problems.
We help turn vision into reality. We build advanced prototypes like homomorphic encryption and commercial products like CyberChaff and spin-off companies like Tozny We develop embedded software, secure web applications, and everything in between. We can collaborate with your product team to build an innovative new feature or validate feasibility with our proof of concepts. We're known for building real software to solve real problems.
We partner with your technical team to apply the latest in provable security, safety, and reliability to your product line. Measurably secure software techniques are not limited to the defense and intelligence communities anymore: whether it is verifying industry-scale encryption libraries, or producing provably correct cyber-physical subsystems, we can help you apply scientific concepts that can take real-world solutions to the next level.
We believe the open innovation model for research and development is the most effective means to keep up with disruptive technology advancements. We continually collaborate with industry and academia to advance research, commercialize advanced technology, and forge new strategic partnerships.
Galois will work with you to advance your research agenda, launch new programs, solve hard problems or build state-of-the-art software. Contact us to learn more about our projects, capabilities, and processes.
Our expert transition team at our subsidiary, Formaltech, can help you embed our technologies into existing products or add them as new features. We work with our customers and clients to reach flexible licensing agreements to bring advanced technology to the market.
At Galois, we focus on developing cutting cutting-edge technologies and strive to license those technologies broadly to existing product providers. Since we are committed to broad adoption in many different markets, our licensing options are flexible and adaptive. We work with our customers and clients to reach licensing agreements that best meet the needs of both parties.
We offer training in formal methods and programming languages to provide developers, analysts, and researchers with tools that make performing their jobs more efficient and reliably secure. Contact Leah Daniels to learn more about what we might be able to offer.
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.