October 3, 2019
Computer science professors received multiple awards
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 1xbet online sports betting work during the leave, Collins granted a project award titled "High-Assurance Model-Based System Engineering for Safety and Security" totaling 9,909 for the period of May 2019 to August 2020.
Collins also expanded the roles of Robby and Hatcliff in the existing 0,000 Defense Advanced Research Projects Agency Cyber Assured Systems Engineering or DARPA CASE, subcontract with Adventium Labs, which includes 1xbet online sports betting 's portion of 0,000. An additional 0,000, of which ,000 is awarded to 1xbet online sports betting , 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 1xbet online sports betting , 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 0,000 from the U.S.Army Combat Capabilities Development Command, Aviation and Missile Center, formerly the Aviation and Missile 1xbet online sports betting , 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 0,000 from the U.S. Air Force 1xbet online sports betting Laboratory.
Additionally, the Software Engineering Institute at Carnegie Mellon 1xbet online sports betting 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 0,000. This award is a continuation of their 2018 5,000 institute-funded yearlong project "Fault Injection and Analysis for Safety and Security."