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.) | ||||