Speaker Biography: Jane Hillston received the BA and MS 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. Her thesis was selected for publication as a Distinguished Dissertations in Computer Science in 1995. In 1995 she became a lecturer, and in 2001 a reader, in computer science at the University of Edinburgh. She is a member of the Laboratory for Foundations of Computer Science. Her principal research interests are in the use of process algebras to model computer systems and the investigation of issues of compositionality with respect to Markov processes. Her work on the stochastic process algebra PEPA was recognized by the British Computer Society in 2004 who awarded her the Roger Needham Award.
More recently she has been investigating the use of stochastic process algebra approaches to model cellular signal transduction pathways and other problems in systems biology. In 2005 she was awarded a five year Advanced Research Fellowship by the UK Engineering and Physical Sciences Research Council and in 2006 she was promoted to a Chair in Quantitative Modelling at the University of Edinburgh.Speaker Biography: David J. Lilja received the Ph.D. and M.S. degrees, both in Electrical Engineering, from the University of Illinois at Urbana-Champaign, and a B.S. in Computer Engineering from Iowa State University in Ames. He is currently a Professor of Electrical and Computer Engineering, and a Fellowofthe Minnesota Supercomputing Institute, at the University of Minnesota in Minneapolis. He also serves as a member of the graduate faculties in Computer Science and Scientific Computation. He has been a visiting senior engineer in the Hardware Performance Analysis group at IBM in Rochester,Minnesota, and a visiting professor at the University of Western Australia in Perth supported by a Fulbright award. Previously,heworked as a research assistant at the Center for Supercomputing Research and Development at the University of Illinois, and as a development engineer at Tandem Computers Incorporated (now a division of Hewlett-Packard) in Cupertino, California. He has served on and chaired the program committees of numerous conferences, was a distinguished visitor of the IEEE Computer Society, and was elected a Fellow of the IEEE "for contributions to statistical methodologies for performance assessment of computing systems". His primary research interests are in high-performance computer architecture, parallel computing, hardware-software interactions, and performance analysis.
Speaker Biography: Oleg Sokolsky is a Research Assistant Professor at the Department of Computer and Information Science at the University of Pennsylvania. His main research interests lie in the area of formal methods and their application to software and systems engineering. For the past several years, he has been involved in the project that aims to increase safety assurance of deployed systems by means of run-time monitoring and checking. Other related projects involve the use of hybrid systems for the modeling of biological systems, formal schedulability analysis of real-time systems based on process-algebraic modeling, and analysis of software architectures.
Speaker Biography: William S. Sanders is a Donald Biggar Willett Professor of Engineering and the Director of the Information Trust Institute at the University of Illinois. He is a professor in the Department of Electrical and Computer Engineering and the Coordinated Science Laboratory. He is a Fellow of the IEEE and the ACM. In addition, he serves on the editorial boards of Performance Evaluation and IEEE Security and Privacy and is the Area Editor for Simulation and Modeling of Computer Systems for the ACM Transactions on Modeling and Computer Simulation. He is a past Chair of the IEEE Technical Committee on Fault-Tolerant Computing and past Vice-Chair of IFIP Working Group 10.4 on Dependable Computing.
Dr. Sanders's research interests include performance/dependability evaluation, dependable computing, and reliable distributed systems. He has published more than 160 technical papers in those areas. He served as the General Chair of the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems. He has served as co-Chair of the program committees of the 29th International Symposium on Fault-Tolerant Computing (FTCS-29), the Sixth IFIP Working Conference on Dependable Computing for Critical Applications, Sigmetrics 2003, PNPM 2003, and Performance Tools 2003, and has served on the program committees of numerous conferences and workshops. He is a co-developer of three tools for assessing the performability of systems represented as stochastic activity networks: METASAN, UltraSAN, and Möbius. Möbius and UltraSAN have been distributed widely to industry and academia; more than 400 licenses for the tools have been issued to universities, companies, and NASA for evaluating the performance, dependability, security, and performability of a variety of systems. He is also a co-developer of the Loki distributed system fault injector and the AQuA/ITUA middlewares for providing dependability/security to distributed and networked applications.Web Maintenance Person