PSI'2015
A.P. Ershov Institute of Informatics Systems
A.P. Ershov Informatics Conference  •  August, 25 - 27, 2015, Innopolis, Kazan, Russia

Keynote Speakers

Jane Hillston is Professor of Quantitative Modelling in the School of Informatics at the University of Edinburgh. Her principal research interests are in the design of formal modelling languages, particularly stochastic process algebras, to model and analyse dynamic systems and the development of efficient solution techniques for such models. These models capture both engineered computer systems and naturally occurring systems such as biochemical pathways and the spread of disease within a population. Prof Hillston received the BA and MS degrees in Mathematics from the University of York (UK) and Lehigh University (USA), respectively. She received the PhD degree in Computer Science from the University of Edinburgh in 1994. Her work on the stochastic process algebra PEPA was recognised by the British Computer Society in 2004 who awarded her the first Roger Needham Award. She was elected to fellowship of the Royal Society of Edinburgh in 2007. She is also a fellow of the British Computer Society and a member of the executive committee of Informatics Europe.

Helmut Veith is a Professor of Computer Science at Vienna University of Technology, Austria, and an Adjunct Professor at Carnegie Mellon University, Pittsburgh. Prior to his appointment in Vienna, he had professor positions at TU Darmstadt and TU Munich, and was a visiting scientist at Microsoft Research and Carnegie Mellon. Helmut Veith received his PhD from Vienna University of Technology in 1999. He is a coeditor of the forthcoming Handbook of Model Checking, PC co-chair of LPAR 2008, CSL 2010, CAV 2013, and FMCAD 2015, and co-chair of the Vienna Summer of Logic 2014, the largest conference in the history of logic. He has published more than 120 papers in computer-aided verification, software engineering, computer security, and logic in computer science. He is best known for his role in the development of Counterexample-guided Abstraction Refinement (CEGAR) which is a key ingredient in modern model checkers for software and hardware.

David Parnas earned his Ph.D. at Carnegie Mellon University in electrical engineering. Parnas also earned a professional engineering license in Canada and was one of the first to apply traditional engineering principles to software design. He worked there as a professor for many years. He also taught at the University of North Carolina at Chapel Hill (U.S.), the Technische Universität Darmstadt (Germany), the University of Victoria (British Columbia, Canada), Queen's University in Kingston, Ontario, McMaster University in Hamilton, Ontario, and University of Limerick (Republic of Ireland).

Hans-Ulrich Heiss received his academic degrees (diploma, doctorate, habilitation) all in Informatics from Karlsruhe Institute of Technology, Germany. He had research and teaching positions at IBM Watson Research Center (Yorktown Heights, NY), University of Helsinki, University of Ilmenau and University of Paderborn. Since 2001 he has been full professor of Computer Science at TU Berlin (Berlin University of Technology). In 2012 he was elected Vice President for education at TU Berlin, a position he still holds. He is also President of the German Council of Faculties in Engineering and Informatics and Vice President of Informatics Europe. His research interests include Operating Systems, Distributed and Parallel Systems, IT-Security, and Performance Evaluation. He also gained experience in curriculum development and quality assurance in informatics, e.g. as founding president of the European Quality Assurance Network for Informatics Education (EQANIE).


 

Development: xTech

© 2008-2017 IIS SB RAS

WebmasterWebmaster