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.