Universität Rostock
Personal Information
Organization / Workplace
Rostock Germany
Industry
Education
About
We develop tools and algorithms for asserting correctness of systems (in hardware or software). Thereby, we focus on two particular topics: first, we develop tools and algorithms for computer aided verification, and second, we develop computer aided assistance for services and service oriented architectures.
