|
| |
Welcome to my homepage!
Topics of Interest
My main interests in computer sciences are programming methodology,
and the design, implementation, and verification of distributed, reactive systems.
More specifically I am working in the following areas:
 | Service-Oriented Software Architectures |
 | Software & Systems Engineering for Distributed, Reactive Systems |
 | Graphical Description Techniques for Structure and Behavior
(such as MSCs, sequence diagrams, and statecharts, as provided by ROOM, the UML,
UML-RT, and others) |
 | Component-Oriented Development Methods and Technologies |
 | Development Processes |
 | System Verification and Validation |
 | Formal Methods |
Contact Information
Dr. Ingolf Krüger
Department of Informatics
Arcisstrasse 21/ H5
D-80290 Munich, Germany
Office Location
Enter Building 5 via entrance 11, located at the crossing of
Luisenstrasse and Theresienstrasse. Take the elevator/stairs to floor 1; then
turn to the left and find my office at room no. 1523 (halfway along the corridor).
Campus Maps:
TU Munich,
Public Transportation
Main
Campus
|