Liyi Li
People
Faculty
Assistant Professor
Area of Expertise:
Programming Languages/Software Engineering/Formal Method/Compilers
Quantum Computation
Security
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: