Homepage of Min Wan

.	Min Wan Department of Computer Science & Engineering University of California, Riverside Riverside, CA 92521 Room 464, Engineering Building Unit II Email: mwan [at] cs.ucr.edu

I am a PhD candidate at Department of Computer Science & Engineering, University of California, Riverside.
My research interests are in the areas of formal verification, model checking and stochastic analysis of continuous-time Markov models

Education

B.S (Sep 1999 - June 2003): College of Computer Science, Zhejiang University, Hangzhou, China
PhD Candidate (Sep 2003 - now): Department of Computer Science & Engineering, University of California, Riverside, U.S.

Research

Research assistant in Logic and Stochastic Verification Lab
Advisor: Dr.Gianfranco Ciardo
Activities
- Symbolic state space generation, formal verification, symbolic model checking, numerical solution of large markov models
- Methodology: Petri nets, decision diagrams, Saturation, aggregated approximation, Jacobi and Gauss-Seidel methods
- Software Tool development: SMART: the Stochastic Model checking Analyzer for Reliability and Timing

Publications

Using matrix diagrams to compute approximate stationary measures of structured continuous-time Markov models. with G. Ciardo, A. S. Miner, and A. J. Yu. International Symposium on Computer Performance, Modeling, Measurements, and Evaluation(PERFORMANCE), to appear, Oct 2007.

Teaching

2003 - 2004 Teaching assistant for CS8

Last modified: June 30, 2007.