Introduction
Welcome to the Formal Methods and Intelligent Design Laboratory (FORMiND Lab), led by Dr. Min LI. Established in June 2025, FORMiND Lab is affiliated with both NCTIEDA and the School of Integrated Circuits at Southeast University; our research group is primarily based in Nanjing and Shenzhen, China.
FORMiND Lab prioritizes solid end-to-end improvements in hardware design and verification, moving beyond paper/胶片-only “breakthroughs”. Ultimately, our goal is to empower China’s domestic hardware formal verification tools (with design considerations to follow) to achieve global leadership.
News
Aug. 2025: 🎉Warmly welcoming five new students Yan Jiang, Shibo Zhao, Jiongming Chen, Jieying Wu, and Yang Zhang, who will join the FORMiND Lab as master’s students in Fall 2025. Looking forward to an exciting journey together!
Jul. 2025: Min has safely landed at SEU! With four master’s spots open, he’s welcoming students passionate about AI4Formal to join the journey.
Jun. 2025: 🎉Dr. Min Li departed from Huawei Noah’s Ark Lab and just launched the FORMiND Lab website; he will join Southeast University this summer. 🎉Welcoming Xudong Hu as the inaugural member, who commences his Ph.D. program in Fall 2025.
People
Professor
LI, Min 李旻
Professor, School of Integrated Circuit
Students
HU, Xudong 胡旭东
Ph.D. - 2025 fall, School of Integrated Circuit
CHEN, Jiongming 陈炯铭
Master - 2025 fall, School of Integrated Circuit
JIANG, Yan 江燕
Master - 2025 fall, School of Integrated Circuit
WU, Jieying 吴洁樱
Master - 2025 fall, School of Integrated Circuit
ZHANG, Yang 张扬
Master - 2025 fall, School of Integrated Circuit
ZHAO, Shibo 赵世博
Master - 2025 fall, School of Integrated Circuit
Tools
Talks
- Opportunities and Challenges of Hardware Formal Verification in the Era of Large Language Models 📄
07/2025: LLM4xPU Summer School, State Key Lab of Processors, ICT, CAS. - Applications and Prospects of Formal Methods in Hardware Verification Tools 📄 🎬
08/2025: 2025 CCF Formal Methods Committee Youth Academic Forum — Symposium on the Application of Formal Methods in Foundational Software / IS, CAS.
Publications
Contact
Our lab is headquartered at National EDA Innovation Center (NCTIEDA), Jiangbei, Nanjing. We are looking for motivated students to join FORMiND Lab as research interns, master or Ph.D. students in Southeast University!
Min welcomes coffee discussions with students/researchers/engineers passionate about developing cutting-edge EDA tools! Please note that Min splits his time between Shenzhen and Nanjing; advance email coordination is preferred for on-site meetings.
Calendar