You Li, Ph.D.
Postdoctoral Scholar at Northwestern University
I am now on the academic and industry job market. Please contact me if there are opportunities in any fields!
My main research interests include:
- Theoretical foundations of symbolic model checking;
- Formal verification in VLSI design automation;
- Hardware security and trust;
- Security analysis for AI and network systems.
I am currently a member of the NuLogics Lab directed by Prof. Hai Zhou. Prior to Northwestern, I worked with Prof. Weikang Qian on stochastic computing at Shanghai Jiao Tong University.
Contact
- Email: [email protected]