Welcome: Guest | Site Use Options | Register | Login |

Galois Inc

Galois Inc

Profile last edited on: 11/13/2018
421 Southwest Sixth Avenue Suite 300
Portland, OR 97204
  (503) 626-6616
Business Identifier: High assurance software development
Public Profile:
Galois Inc is a research, development, and consulting firm focusing on computer science and mathematics related technological problems and solutions. From this mathematical foundation, the firm applies formal analysis techniques to systems for modeling and analysis. Galois functional programming language technologies facilitate a formal analysis as well as the ability to build specialized languages for solving and analyzing domain-specific problems. The firms researchers and engineers apply this formalized approach to the design of software systems. The company also collaborates with scientists and engineers within industry, government, and academia to research solutions to problems. Examples of the companys development experience are building prototypes such as homomorphic encryption and commercial products like Cryptol and spin-off companies such as Tozny.

 Synopsis: Awardee Business Condition
Year Founded First SBIR Year Date of Last Award
Employee Range VC funded? IP Holdings
Revenue Range Private/Public Exchange/Symbol :

Unlock access

To unlock access to all SBIR-STTR company Profiles, a FREE site registration is required. Click here to register or login if you already have an account

Smart Office Options


Is this YOUR Company?

Ensure accuracy and completeness of YOUR Company Profile by completing the brief Survey Instrument attached

Do you know about this Awardees?

Let us encourage you to provide any data which would enhance the completeness of this firm's profile.

Contact information

Innovation Development Institute, LLC

   45 Beach Bluff Avenue, Suite 300
     Swampscott,  MA 01907-1542

  Tel:  (781) 595-2920