Search

Liyi Li

Faculty
Assistant Professor
Area of Expertise: 
Programming Languages/Software Engineering/Formal Method/Compilers
Quantum Computation
Security

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: