Due to the Corona pandemic, the pool rooms of STS are closed.

The start of the winter semester is postponed. Courses will begin on November 1, 2020.

Sefi 2020

Designing and analyzing open application-oriented Labs in Software-Verification Education

The paper "Designing and analyzing open application-oriented Labs in Software-Verification Education" by Antje Rogalla, Timo Kamph, Ulrike Bulmann, Katrin Billerbeck, Mathias Blumreiter and Sibylle Schupp has been accepted at the Sefi2020.
This year, the Sefi Conference will be held online.

 

 

Institute for Software Systems

 

STS is an Institute of  Hamburg University of Technology and the
School of Electrical Engineering and Information Technology

Under the slogan "Software, Technology and Systems (STS)", 
the institute combines fundamental research on descriptions and
dependences of software systems with practical issues and applications
from both engineering and social sciences.