Tech Talk: Abstract “Anything”: Theory and Proof Reuse via DTP

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: Abstract “Anything”: Theory and Proof Reuse via DTP speaker: Larry Diehl time: Tuesday, 28 August 2012, 10:30am location: Galois Inc. 421 SW 6th Ave. Suite 300, […]

Read More

Galois Internship Available

Galois, Inc. has one or more internships available in Portland, Oregon, USA. PROJECT OVERVIEW: The project is a 4+ year research project on high-assurance autonomous vehicles. Galois will be working on three aspects of this problem: Synthesizing software components from Haskell-based embedded DSLs. Building/porting a hardware platform for testing our prototypes. Performing static/dynamic analysis on […]

Read More

Is the NIST Risk Management Framework poised to become a national cybersecurity standard?

A lot of organizations, including small businesses and critical infrastructure operators, might soon get new technical security requirements from the federal government. This will probably be very costly, especially for small businesses that don’t already implement the kinds of security measures that are standard for large federal contractors. I’ll give a brief overview of two […]

Read More

Tech Talk Video: Programming with Narrowing

We are pleased to announce the availability of a new tech talk video. The video is presented by Sergio Antoy from Portalnd State University, and demonstrates a programmin technque called “narrowing”. For more details, please visit the talk announcement page. More tech talk videos are available on our Vimeo channel.

Read More

Tech Talk Video: Why Do Airplanes Crash?

We are pleased to announce the availability of a new tech talk video. The video presents work on a PSU Captsone Project by Chris Andrew, Kayla Seliner, Mark Craig, and Trang Nguyen. For more details, see the talk announcement For more videos, please visit our Vimeo channel.

Read More

Tech Talk: Comprehensive Analysis of the Android Ecosystem

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.) Please note the unusual time for this talk, it is on Thursday, 02 August 2012. title: Comprehensive Analysis of the Android Ecosystem speaker: Iulian Neamtiu time: Thursday, […]

Read More

Tech Talk: Programming with Narrowing

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 with Narrowing speaker: Sergio Antoy, Portland State University time: Tuesday, 3 July 2012, 10:30am location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, […]

Read More

Why Do Airplanes Crash? Building an Open-Source Aircraft Sensor System

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: Why Do Airplanes Crash? Building an Open-Source Aircraft Sensor System speaker: PSU Captsone Project: Chris Andrew, Kayla Seliner, Mark Craig, and Trang Nguyen time: Tuesday, 05 […]

Read More

Tech Talk: An Analysis of Analysis

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.) Please note the unusual date and time for this talk, it is on Friday, 11 May 2012, at 10:30am title: An Analysis of Analysis speaker: Charles Parker […]

Read More

Galois’ Open-Source Projects on GitHub

Galois is pleased to announce the movement of our open source projects to GitHub! As part of our commitment to giving back to the open source community, we have decided that we can best publish our work using GitHub’s public website. This move should provide the open source community more direct access to our repositories, […]

Read More