You Li, Ph.D.
Postdoctoral Fellow at The University of Texas at Austin
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:
- AI-assisted design generation with formal guarantees;
- 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 UTDA Lab, mentored by Prof. David Z. Pan. I obtained my Ph.D. degree from Northwestern University, advised by Prof. Hai Zhou. I was advised by Prof. Weikang Qian during my undergraduate study at Shanghai Jiao Tong University.
Contact
- Email: [email protected]