Borzoo Bonakdarpour, faculty with the Department of Computer Science, received an NSF grant

October 24, 2018
News

Borzoo Bonakdarpour, faculty with the Department of Computer Science, received an NSF grant, as a sole PI to develop model checking techniques for hyperproperties. The award will span three years, and include a total of $350,000.
Hyperperoperties is a uniform formalism to express and reason about important information-flow security as well as consistency models in concurrent computing. The proposed research aims to bring a paradigm shift in techniques to model check software systems with respect to hyperproperties. This includes developing partial-order reduction, bounded model checking, and abstraction-refinement.
For more information, please to go to: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1813388&HistoricalAwards=false