November 6, 2015
NSF division of Computing and Communication Foundations has funded a two year project to be conducted by Dr. Samik Basu to investigate the application of formal methods, particularly model checking techniques, to analyze information propagation problems as they relate to computer security, epidemiology and opinion spread.
For more information, please go to:
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1555780&HistoricalAwar