Wenchao Li, Ph.D.

Affiliations: 
2013 Electrical Engineering and Computer Sciences University of California, Berkeley, Berkeley, CA 
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: Robotree

Parents

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