Galois CEO Testifies Before U.S. Congress

Galois’ CEO, Laura McKinney, was asked to testify before the U.S. Congress Subcommittee on Technology and Innovation on the role of small business in innovation and job creation. The hearing was specifically assessing the Small Business Innovation Research (SBIR) and Small Technology Transfer Research (STTR) programs. Laura provided background on Galois as a small business […]

Read More

Tech talk video: Engineers Without Borders

We are pleased to announce the availability of a new tech talk video: “Engineers Without Borders”, presented by Rachel Lanigan. More details about the talk are available on the announcement page.Other videos of our technical seminars are available on our Vimeo channel.

Read More

Tech Talk: Haskell And The Social Web

Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us!   title: Haskell And The Social Web   presenter: Philip Weaver   time: Tuesday, 15 March 2011, 10:30am   location:Galois Inc.421 SW 6th Ave. Suite 300,Portland, OR, USA(3rd floor of the Commonwealth building) abstract: Janrain […]

Read More

Tech talk video: Verifying seL4-Based Systems

We are pleased to announce the availability of a new tech talk video: “Verifying seL4-Based Systems”, presented by Simon Winwood. More details about the talk are available on the announcement page. Verifying seL4-Based Systems from Galois Video on Vimeo. Other videos of our technical seminars are available on our Vimeo channel.

Read More

Tech Talk: Engineers Without Borders

Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us!   title: Engineers Without Borders   presenter: Rachel Lanigan   time: Tuesday, 22 February 2011, 10:30am   location:Galois Inc.421 SW 6th Ave. Suite 300,Portland, OR, USA(3rd floor of the Commonwealth building)   abstract: Engineers Without […]

Read More

Instilling Morality in Machines

Our own David Burke gave a talk on Wednesday at Portland State University as a speaker in the ‘Nuts and Bold Ideas‘ seminar series.  David described work done on multiagent simulations of morality during strategic interactions.  He explained how various agents in the simulations make choices about whether to cooperate based on each agent’s weighting […]

Read More

Tech Talk: Faster Persistent Data Structures Through Hashing

Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us!   title: Faster Persistent Data Structures Through Hashing   presenter: Johan Tibell   time: Tuesday, 15 February 2011, 10:30am   location:   Galois Inc.421 SW 6th Ave. Suite 300, Portland, OR, USA(3rd floor of the Commonwealth […]

Read More

Tech talk: The Strategy Challenge in Computer Algebra

Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us!   Please note the unusual time slot for this talk: it is on Monday, 7 February 2011, at 4:30pm (changed from 1:30pm due to flight delays).   title: The Strategy Challenge in Computer Algebra   presenter: Grant […]

Read More