Shuxing Cheng

I am a Ph.D student of computer science at Iowa State University.

Research interests

• Modeling and analysis of stochastic systems.
• Computer system security.
• Stochastic processes:numerical simulation and analytical solution .
• Model checking of software systems.

Teaching experience

• Teaching assistant for undergraduate operating system course .

Research links

• Petri Nets World.
• Formal Methods Virtual Library.
• Model Checking Links.

Some links of interest

• National Park Service.
• Discovery Travel Channel.