Portland, Oregon (October 30, 2013) – Rob Wiltbank, Ph.D. has joined Galois as its CEO. Rob is widely recognized as a world expert in angel investing performance and entrepreneurial strategy. In his new role, Rob will drive strategy for Galois’ growth, oversee business operations and development, and help commercialize its technologies. “I’m tremendously pleased to […]
Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: Programming Diversity speaker: Ashe Dryden time: Tuesday, 22 October 2013, 10:30am location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, USA (3rd floor of […]
This year’s Formal Methods in Computer-Aided Design (FMCAD) conference is being held from October 20 – 23 here in Portland, OR. Galois is proud to be one of the sponsors of this annual event – we’re excited to be having it in our own back yard! Dr. Lee Pike is on the program committee, and […]
For those registered to attend MEMOCODE 2013 this week in Portland, OR, Dr. Lee Pike will be presenting the keynote address titled “Building a High-Assurance Unpiloted Air Vehicle” on October 18 at 11:00 a.m. Abstract A drone autopilot is a complex software artifact that includes operating systems, networking, and sensor systems. With support from DARPA, Galois is […]
As part of DARPA’s High Assurance Cyber Military Systems (HACMS), Galois is building critical flight control software using new software methods for embedded systems programming. Recently, Signal Online reported an overview of the HACMS program. We’ve been working on the HACMS program for about a year and we’d like to share more details about open source work we’ve […]
Galois was awarded a contract through the Office of Naval Research – we’re partnering with SRI to build automated tools for binary analysis and optimization to minimize software bloat and reduce costs and complexity. Read more about the effort here: http://bit.ly/1fG7S45.
We have developed a technique to make sense of change information from a typical software project’s history. The core of our approach is to treat the program text as a tree, to find differences in the tree structure, to group similar differences together, and then finally to extract a pattern that represents each group. Jason […]
Galois is delighted to announce that our proposal “Practical Roots of Trust for Mobile Devices” has been selected for award by the Department of Homeland Security. In this Phase I Small Business Innovative Research (SBIR) award, Galois will be investigating methods to provide secure yet practical methods for mobile devices to authenticate to critical systems. […]
Galois has been selected by the Office of Naval Research (ONR) for a Phase II Small Business Innovative Research (SBIR) award, for its PICT tool that interactively captures and manages programmers’ intentions. The design of a software product often isn’t fully captured by the semantics and syntax of the language – many aspects of the design […]
Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) This talk is on Friday at 2pm. title: Using Drones in Agriculture speaker: Chris Anderson time: Friday, 20 September 2013, 2pm location: Galois Inc. 421 SW 6th […]
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.