Informatik-Logo


PD Dr.habil. Bernhard Schätz
Dipl.-Inform. Univ.

  Schaetz





E-mail:
schaetz@informatik.tu-muenchen.de, PGP Public Key

Mail:
Bernhard Schätz
Institut für Informatik
Technische Universität München
Boltzmannstr. 3
D-85748 Garching
Germany

Phone: +49 (89) 289-17800
Fax: +49 (89) 289-17307
Room: 01.05.041
Consultation/Tutoring hours: By Arrangement


Currently on leave at the
fortiss Innovation Center


Fields of interest

General: Specification and verification of reactive computing systems, especially distributed systems

Different specification paradigms for distributed systems (CSP, CSS, stream processing functions, temporal logics, traces,...)

Methodological aspects of correct distributed systems design

Model-Based Systems Development of Embedded Systems

Service-Based Software and Systems Engineering

Computer-aided/tool-supported design and verification of distributed systems


Links

Projects and Activities

Lectures

University activities

Publications