Prof. Dr. rer. nat. habil. Jan Peleska
- Curriculum Vitae -

At the University of Hamburg, he studied mathematics and wrote his doctoral thesis on a topic in the field of differential geometry. From 1984 to 1990 he worked with Philips as Senior Software Designer and later on as department manager in the field of fault-tolerant systems, distributed systems and database systems. From 1990 to 1994 he was manager of a department at Deutsche System-Technik responsible for the development of safety-critical embedded systems. Since 1994 he has worked as a consultant, specialising on development methods, verification, validation and test of safety-critical systems. His habilitation thesis focusing on Formal Methods for the development of dependable systems was finished in 1995. Together with his wife Cornelia Zahlten, he has founded the company Verified Systems International GmbH in 1998, providing tools and services in the field of safety-critical system development, verification, validation and test. His current research interests include formal methods for the development of dependable systems, test automation based on formal methods with applications to embedded real-time systems, verification of security properties, and formal methods in combination with CASE methods. Current industrial applications of his research work focus on the development and verification of avionic software, space mission systems and railway and automotive control systems. He is associated with the Center for Computing Technology TZI at the Department of Mathematics and Computer Science of Bremen University and was TZI director from September 2001 to September 2003. Together with his colleague Rolf Drechsler he manages the Post Graduate Programme Embedded Systems GESy which has been founded in 2006. From July 2009 to June 2011 Jan Peleska was dean of the Department of Mathematics and Computer Science at the University of Bremen. In 2015, Verified Systems International GmbH has been awarded the runner-up trophy of the EU Innovation Radar Innovation Prize for making a new testing strategy developed by Jan Peleska and Wen-ling Huang available for industrial use.