This website uses technically necessary cookies to offer the best possible functionality.
The Chair of Computer Science 7 (Logic and Theory of Discrete Systems) is located in the first exension building of the computer science complex in Ahornstrasse.
read more...zu: Overview
The chair consists of the Professors, assistants, secretary, and our IT-administration.
You can find office-hours, publications and current research topics on the corresponding personal page of each team member.
There are no events at this time.