I am most interested in the combination and application of existing methods and corresponding tools to "real-world" problems; the development of new methods plays a less important role. Most results of the research activities are motivated by and applied to industrial projects in the field of safety-critical embedded systems and distributed systems, as, for example, avionic systems and railway control systems. A rather complete overview about current research activities and related industrial projects is given in my Habilitation Thesis Formal Methods and the Development of Dependable Systems. (A short summary is given in the Habilitation Preface. )

Projects

• Research Projects and Industrial Projects

Publications

• Publications

CV

• Curriculum Vitae

Lectures (in German)

• Lectures

Post Graduate Programme Embedded Systems GESy

• Post Graduate Programme Embedded Systems GESy Programme description

Other responsibilities

• Together with my colleague Rolf Drechsler, I am managing the Post Graduate Programme Embedded Systems GESy.
• I am co-editor of the BISS Monographs - Monographs of the Bremen Institute of Safe Systems, a series of publications related to safety-critical systems, Formal Methods and their applications.

• I am shareholder of Verified Systems International GmbH .

• In the context of Verified Systems International, I am working as a consultant for various companies in the field of specification, development, verification, validation and test of safety-critical systems. Moreover, I give training courses on Safety-Critical Systems, CASE methods, Formal Methods, Testing, and Quality Assurance.

 
 	Prof. Dr. Jan Peleska
 	FB 3 -- Informatik 
 	Universität Bremen
 	Postfach 330 440
 	D-28334 Bremen
 	Germany
Room:   MZH 8175
Phone:  +49 421 218-63961 NEW TELEPHONE NUMBER !
Fax  :  +49 421 218-3054
E-mail:  jp@informatik.uni-bremen.de