Logic and Intelligence Lab
at Fudan University
About Me
You Li is currently an assistant professor at the School of Microelectronics, Fudan University. He received his Ph.D. degree from Northwestern University (Advisor: Prof. Hai Zhou) and his Bachelor's degree from Shanghai Jiao Tong University (Advisor: Prof. Weikang Qian). He was a postdoctoral research fellow at The University of Texas at Austin (Mentor: Prof. David Z. Pan).
He is broadly interested in logics, verification, security, and artificial intelligence. His recent research topics include:
- LLM-Driven, Formally Verified Program Synthesis
- LLM-Driven, Formally Verified Design Space Exploration
- Hardware Reverse Engineering and Countermeasures
- Cloud-Native Infrastructure for Agentic Workloads
Prospective Students
We are always looking for talented and compassionate students and postdocs to join our research group. If you are interested in working with us, please click the Join the group button below.
