Welcome to the RISC-V Foundation Members Directory. To use this Directory, scroll through the Member Profiles below, click on a specific profile or logo to see detailed information on each member or use the Advanced Search to search by more fields.
Galois specializes in the safety, security and reliability of critical hardware and software systems where failure is unacceptable. We apply a solid foundation of mathematics, applied formal methods, and science to advance cryptography, hardware and software correctness, cyber-physical systems, language design, scientific computing, and computer security.
Send Message to listing owner