« Galois, Inc. Wins Two United States Army Research Awards | Main | John Launchbury named ACM Fellow »

Galois wins NASA award for formal methods in machine learning

NASA has awarded Galois, Inc. a Small Business Innovation Research award to conduct research into the application of formal verification to machine learning systems. From the abstract:

Automated tools are quickly making inroads into casual computing environments, solving progressively more complex tasks. However, these advancements still require trading reliability for convenience. Frequent minor failures are acceptable in casual environments, but critical systems cannot make the same exchange. The software systems that NASA develops could greatly benefit from machine learning technologies that have been applied to casual computing, if the software developed by learning algorithms could be verified.

The work will be conducted under Galois' Formal Methods research program, and seeks to demonstrate increased verification capabilities through the application of model checking to aid the construction of machine learning tools. 

For more information about the project, contact Rogan Creswick or John Matthews.

Reader Comments (1)

Congratulations! I look forward to seeing what comes out of this.
December 8, 2010 | Unregistered Commentergepr

PostPost a New Comment

Enter your information below to add a new comment.

My response is on my own website »
Author Email (optional):
Author URL (optional):
Some HTML allowed: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <code> <em> <i> <strike> <strong>