Tamas Suto Department of Computing Imperial College London 180 Queen's Gate SW7 2BZ, London United Kingdom suto[at]doc.ic.ac.uk

About Me: I am an external researcher affiliated with the Department of Computing at Imperial College London. Research Interests: The current focus of my research is query specification formalisms for quantitative performance analysis of stochastic systems. Research Group: AESOP Research Projects: GRAIL Publications: List of Publications Affiliatons: Dr William Knottenbelt Dr Jeremy Bradley