« Building a business with Haskell: Case Studies: Cryptol, HaLVM and Copilot | Main | Galois wins NASA award for formal methods in machine learning »
Thursday
Dec092010

Galois, Inc. Wins Two United States Army Research Awards

Galois, Inc. has been awarded two 2010 Small Business Innovation Research Awards by the United States Army Research, Development and Engineering Command, to investigate new approaches in the construction of high assurance microkernels, and, separately, tools for portable, consistent user interfaces based on domain specific languages.

This work will be conducted under Galois' Systems Software and Programming Languages technical areas, and will be led by Dylan McNamee and Rogan Creswick.

Reader Comments

There are no comments for this journal entry. To create a new comment, use the form below.

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):
Post:
 
Some HTML allowed: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <code> <em> <i> <strike> <strong>