• J. Hillston is with the School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton St., Edinburgh EH8 9AB, UK.
• M. Kwiatkowska is with the Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK.
• M. Telek is with the Department of Telecommunications, Technical University of Budapest, Magyar Tudosok krt. 2, Budapest 1117, Hungary. E-mail: firstname.lastname@example.org.
For information on obtaining reprints of this article, please send e-mail to: email@example.com.
Jane Hillston received the BA and MSc degrees in mathematics from the University of York (UK) and Lehigh University (USA), respectively. After a brief period working in industry, she joined the Department of Computer Science at the University of Edinburgh as a research assistant in 1989. She received the PhD degree in computer science from that university in 1994. She is a professor of quantitative modeling in the School of Informatics at the University of Edinburgh and holds an Advanced Research Fellowship from the Engineering and Physical Sciences Research Council. She is a fellow of the Royal Society of Edinburgh. Her work on the stochastic process algebra PEPA ( www.dcs.ed.ac.uk/pepa) was recognized by the British Computer Society in 2004, which awarded her the first Roger Needham Award. Currently, her principal research interests are in the use of stochastic process algebras to model and analyze computer systems and biological systems and the development of efficient solution techniques for such models.
Marta Kwiatkowska holds the BSc/MSc degree in computer science from the Jagiellonian University, the MA degree from Oxford University, and the PhD degree from the University of Leicester. She is a professor of computing systems and a fellow of Trinity College, University of Oxford. Her main research focus is on modeling and quantitative verification of probabilistic systems, which includes both theoretical investigation leading to new models and efficient verification algorithms, as well as practical implementation. The PRISM model checker ( www.prismmodelchecker.org) implemented under her leadership is the leading software tool in the area and is widely used for research and teaching. Applications of probabilistic model checking have spanned communication and security protocols, nanotechnology designs, power management, and systems biology. Dr. Kwiatkowska was invited speaker at the LICS 2003 and ESEC/FSE 2007 conferences and lead organizer of the Royal Society Discussion Meeting "From Computers to Ubiquitous Computing, by 2020" ( Phil. Trans. R. Soc. A, vol. 366).
Miklós Telek graduated as an electrical engineer from the Faculty of Electrical Engineering, Technical University of Budapest, in 1987. He received the candidate of science and the MTA doctor degree from the Hungarian Academy of Science in 1995 and 2004, respectively. He received the habilitation degree in technical sciences from the Technical University of Budapest in 2003. In 1987, he joined the Hungarian Post Research Institute, where he studied the modeling, analysis, and planning aspects of communication networks. Since 1990, he has been with the Department of Telecommunications at the Technical University of Budapest, where he is now a professor. He took part in the development of various communication network and computer system planning and/or analysis tools. He spent research visits at universities (Torino, Catania, Erlangen, Berlin, Dortmund, Duke, UNC, Trento) and research institutes (Avaya research, INRIA Rennes, Istituto Gallileo Ferraris). Since 1997, he has been the head of the stochastic modeling laboratory of the department, which participates in international research projects and cooperates with industry on traffic modeling of mobile telecommunication networks. His current research interests include various aspects of stochastic performance modeling and analysis of computer and communication systems.