Dr. Basu Awarded NSF Grant for Analyzing Information Propagation Over Networks

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: