Department of Computing. Research includes quantitative evaluation of systems, queueing networks, stochastic process algebras, stochastic petri-nets, distributed generation and solution of very large Markov chains, discrete-event simulation, and model...