/en/theoretical-computer-science/chair/peter-stumpf/teaching?tx_upatheme_mobilenav%5BpageUid%5D=23928&type=20190226&cHash=a8629e3cff7bdaf6f6d84808e74046bd