On May 10 Joe Hurd gave a guest lecture at Portland State University, as part of Bart Massey‘s Computer Science course on Combinatorial Games. The topic of the guest lecture was “Formally Verified Endgame Tables”, and Joe showed how Formal Methods can be used to prove that endgame tables used by computer chess programs are […]

We are pleased to announce the availability of a new tech talk video: “Empirical Sampling With Haskell”, presented by Chad Scherrer. More details about the talk are available on the announcement page. For more videos of our technical seminars, please visit our Vimeo channel.

Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us!   title: Empirical Sampling With Haskell   speaker: Chad Scherrer   time: Tuesday, 10 May 2011, 10:30am   location:Galois Inc.421 SW 6th Ave. Suite 300,Portland, OR, USA(3rd floor of the Commonwealth building)   abstract:Sampling from […]

We are pleased to announce the availability of a new tech talk video: “Using RNA MVX Shared Memory Pools to Improve Large-Memory Workloads and Storage Performance”, presented by Jim Snow. More details about the talk are available on the announcement page. For more videos of our technical seminars, please visit our Vimeo channel.

We are pleased to announce the availability of a new tech talk video: “The OpenTheory Standard Theory Library”, presented by Joe Hurd. More details about the talk are available on the announcement page. For more videos of our technical seminars, please visit our Vimeo channel.

We are pleased to announce the availability of a new tech talk video: “Haskell and the Social Web”, presented by Philip Weaver. More details about the talk are available on the announcement page. For more videos of our technical seminars, please visit our Vimeo channel.

 title: Using RNA MVX Shared Memory Pools to Improve Large-Memory Workloads and Storage Performance speaker: Jim Snow   time:Tuesday, 19 April 2011, 10:30am   location:Galois Inc.421 SW 6th Ave. Suite 300,Portland, OR, USA(3rd floor of the Commonwealth building) abstract: RNA Networks is a software company focused on providing the next generation storage cache solution […]

Portland, OR (April 11, 2011) – The Defense Advanced Research Projects Agency (DARPA) has awarded up to $4.7M to Galois, Inc., as research integrator for the PROCEED program (Programming Computation on Encrypted Data) whose goal is to make it feasible to execute programs on encrypted data without having to decrypt the data first.  DARPA Program […]

Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us!   title: The OpenTheory Standard Theory Library   speaker: Joe Hurd   time: Tuesday, 12 April 2011, 10:30am   location:Galois Inc.421 SW 6th Ave. Suite 300,Portland, OR, USA(3rd floor of the Commonwealth building)   abstract:Interactive […]

Galois has been selected by the Office of Naval Research for a Phase 1 Small Business Innovative Research (SBIR) award, to develop a viable real-time software execution monitoring system to protect programs against errors, regardless of the programming language the software is written in.   The approach will be based on instrumentation of binaries via […]