Prof. Dr. Klaus Schneider

Klaus Schneider is heading the research group for Reactive Systems at the University of Kaiserslautern, Germany. His research interests cover the use of formal methods for the design of reactive real-time systems (including protocols and embedded systems) that are provably correct. To this end, he developed several improvements for model checking of temporal logics. Moreover, his work on the semantics and the provably correct compilation of synchronous languages lead to an integration of design and verification that is demonstrated by his new development tool that is publicly available under http://www.averest.org. It is noteworthy that the correctness of the compilation of the synchronous programs to software and hardware as well as the translations of temporal logics to more easily accessible formalisms like omega-automata or mu-calculus have been formally proven in an interactive theorem prover. This yields a framework for the development of highly dependable systems that may consist both of hardware and software. Moreover, several extensions of synchronous languages that have been developed by Prof. Schneider have already found their way into other industrial tools like Esterel-Studio. Prof. Schneider's scientific work covers more than 80 refereed publications that can be found at http://rsg.informatik.uni-kl.de.

Personal Homepage

http://rsg.informatik.uni-kl.de/people/schneider/index.html

Project Participation

End of topic
Skip to actions | Back to top

r7 - 09 Feb 2006 - PaulPichota