Wenchao Li
Associate Professor
Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolWenchao Li is an associate professor at Boston University with a decade of experience in building safe and trustworthy AI systems grounded in formal methods and specification mining. With a Ph.D. from UC Berkeley, his research and career trace from scalable specification mining at Microsoft Research and SRI to academic leadership developing verifiable AI and requirements-extraction techniques. He bridges theory and practice—publishing algorithms for specification inference while collaborating on applied projects that reverse-engineer and validate complex digital systems. Based in Massachusetts, he leads the DEPEND lab focused on dependable AI, bringing a rare combination of formal verification expertise and hands-on systems work that helps translate research into practical, auditable tools.
10 years of coding experience
16 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Electrical Engineering and Computer Sciences, Doctor of Philosophy (Ph.D.), Electrical Engineering and Computer Sciences at University of California, Berkeley
English, Chinese
Github Skills (7)
testing6
verification4
controlled4
reachability2
deep-neural-networks1
java1
neural-network1
Programming languages (3)
Github contributions (5)
BU-EC551/ec551
Nov 2016 - Nov 2016
Contributions:2 commits, 2 pushes in 1 day
BU-DEPEND-Lab/AdvIBP
Dec 2020 - Dec 2020
Contributions:2 commits, 2 pushes in 1 day
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.