☰

Wenchao Li, Ph.D.

Affiliations: 
2013 Electrical Engineering and Computer Sciences University of California, Berkeley, Berkeley, CA, United States 
Area:
Design, Modeling and Analysis (DMA); Programming Systems (PS); Dependable Computing; Computational Logic; Formal Methods; Control, Intelligent Systems, and Robotics (CIR); Security (SEC); Theory (THY)
Google:
"Wenchao Li"
Cross-listing: E-Tree

Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Sanjit A. Seshia grad student 2013 UC Berkeley
 (Specification Mining: New Formalisms, Algorithms and Applications.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Seshia SA, Hu S, Li W, et al. (2017) Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 36: 1421-1434
Subramanyan P, Tsiskaridze N, Li W, et al. (2014) Reverse engineering digital circuits using structural and functional analyses Ieee Transactions On Emerging Topics in Computing. 2: 63-80
See more...