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, 15 December 2011. title: Frenetic: A Network Programming Language speaker: Nate Foster time: Thursday, 15 […]
Creating consistent User Interfaces (UIs) is a time consuming and error prone process, but consistency and conformance with guidelines is becoming increasingly important for software developers. For example, Apple has raised the bar for UI Consistency by requiring that iOS applications conform with their Human Interface Guidelines (HIG). Non-conforming applications can be removed from the […]
Recently, a thread about a security problem in a piece of open source software got a lot of attention. There was a vulnerability report, a defensive developer, persistent security folks, and of course sideline comments taking one side or the other. This discussion perfectly illustrates why it can be hard to have a civil discussion […]
A month or so ago, I gave talks at SRI and NASA Ames on 11+ Years of Formal Methods at Galois (pdf). Though I haven’t been around the whole time, it was fun to reminisce on the projects I’ve helped with and to highlight my colleagues’ work!
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 for this talk, it is on Thursday, 17 November 2011. title: Candid experiences from a hardware startup speaker: Eric Migicovsky time: Thursday, 17 November 2011, 10:30am location: Galois Inc. 421 […]
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 for this talk, it is on Thursday, 10 November 2011. title: Enforcing Security Policies with a MILS Architecture speaker: Dylan McNamee time: Thursday, 10 November 2011, 10:30am location: Galois Inc. […]
Galois is pleased to announce the following tech talk.These talks are open to the interested public. speaker:Kevin ButlerUniversity of Oregon time:30 August 2011, 10:30 A.M. location:Galois, Inc.421 SW 6th Ave.Ste 300Portland, OR 97007(3rd floor of the Commonwealth Building) abstract:The complexity of modern operating systems makes securing them a challenging problem. However, changes in the computing […]
Isaac Potoczny-Jones <ijones@galois.com> PDF version. ABSTRACT Cloud computing can be particularly beneficial to small businesses since it can decrease the total cost of ownership for IT systems. Unfortunately, one of the major barriers to adoption of cloud services is the perception that they are inherently less secure, exposing the organization to unacceptable risk. There are […]
Galois is pleased to announce the following tech talk.These talks are open to the interested public. speaker:Alexey GotsmanIMDEA Software Institute, Madrid, Spain time:23 August 2011, 10:30 A.M. location:Galois, Inc.421 SW 6th Ave.Ste 300Portland, OR 97007(3rd floor of the Commonwealth Building) abstract:Most major OS kernels today run on multiprocessor systems and are preemptive: it is possible for […]
Galois is pleased to host the following back-to-back tech talks.These talks are open to the interested public. Please join us! speakers:Sebastian Niller and Nis N. Wegmann time:16 August 2011, Tuesday, 10:30 A.M. location:Galois, Inc.421 SW 6th AveSte 300Portland, OR 97204(3rd floor of the Commonwealth building) #1 title:Translation of Functionally Embedded Domain-specific Languages With Static Type […]
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.