Institute of Computer Science
Ludwig-Maximilians-Universität München
Germany Research topics: Software Development using Formal Methods;
Systematic Development of Service-Oriented and Autonomic Systems;
User-Centered Pervasive Adaptive Systems;
Object-Oriented and Service-Oriented Computing;
Algebraic Specification Techniques;
Semantics of Specification and Programming Languages;
Software Engineering of Web and Hypermedia Applications.
(updated at 2012-07-02)
https://www.sosy-lab.org/people/wirsing/