1. Kansas State University
  2. »Division of Communications and Marketing
  3. »K-State Today
  4. »Computer science professors received multiple awards

K-State Today

October 3, 2019

Computer science professors received multiple awards

Submitted by Wynne Reichart

Professors John Hatcliff and Robby in the Department of Computer Science are currently on sabbatical leave hosted by United Technologies’ Collins Aerospace, formerly Rockwell Collins. To support their research work during the leave, Collins granted a project award titled "High-Assurance Model-Based System Engineering for Safety and Security" totaling $589,909 for the period of May 2019 to August 2020.

Collins also expanded the roles of Robby and Hatcliff in the existing $800,000 Defense Advanced Research Projects Agency Cyber Assured Systems Engineering or DARPA CASE, subcontract with Adventium Labs, which includes K-State's portion of $300,000. An additional $150,000, of which $75,000 is awarded to K-State, has also been given for the remaining CASE Phase 2 through July 2020. This portion of the funding centers around system architecture information flow analysis for cyber-resiliency. The funding will be used to supplement existing support for research assistants and associates working on the DARPA CASE project.

In addition, Hatcliff and Robby, along with Adventium Labs, received Department of Defense Small Business Innovation Research, or SBIR, Phase 1 awards.

The first of these is the Grand Unified Modeling of Behavior Operators, or GUMBO, for the period of April to August 2019 with a total project budget of $100,000 from the U.S. Army Combat Capabilities Development Command, Aviation and Missile Center, formerly the Aviation and Missile Research, Development, and Engineering Center.

The second award is Information Flow Control for Microkernels and is for the period of July 2019 to January 2020 with a total project budget of $150,000 from the U.S. Air Force Research Laboratory.

Additionally, the Software Engineering Institute at Carnegie Mellon University granted Hatcliff, Robby and Eugene Vasserman, computer science associate professor, an award titled "AADL Analyses and Modeling Strategies for Safety and Security" for the performance period of May 2019 to September 2020 with a project total of $420,000. This award is a continuation of their 2018 $105,000 institute-funded yearlong project "Fault Injection and Analysis for Safety and Security."