Wenchao Li

Wenchao Li
University of California, Berkeley

Username:	wenchao
(To view user contact information, please log in.)
Home page:	http://www.eecs.berkeley.edu/~wenchaol

Bio:

I spent almost five years in Singapore before coming to U.C. Berkeley in 2003. I graduated in 2007 with a B.S. in Electrical Engineering and Computer Science and a B.A. in Economics. I am currently a 4th year Ph.D. student in EECS at U.C. Berkeley. My advisor is Prof. Sanjit A. Seshia. My research interests are formal methods in verification and synthesis, dependable and fault-tolerant computing, applied machine learning and embedded system.

Papers

talks

posters

Group memberships