Min Wan (万 旻)

 

 

 


I graduated as PhD student in 2008 from Department of Computer Science & Engineering, University of California, Riverside.
My research interests are in the areas of formal verification, specifically in logic and stochastic model checking with decision diagrams.

Now I'm working at Google Inc in Mountain View, CA.

Education

Research

Publications

Teaching


Last modified: Dec 1, 2012.