B.CSCI.V.25.SS26 Theoretical Computer Science VU - 1