AG Theoretische Informatik
also interested in logical methods in computer science. One problem of particular interest is the model-checking problem for first-order logic. In this context we currently study logically defined graph classes [...] in particular the theory of sparse and structurally sparse graphs. Parameterized Complexity Theory Logic in Computer Science, in particular first-order model-checking, query evaluation, enumeration, and [...] Theoretische Informatik 2 (03-BA-601.02, 03-IBGT-THI2) Logik (03-IBAT-LO, 03-BB.605.01) Description Logic (03-IMAT-BL, 03-MB-605.01) Parameterized Complexity (03-IMAT-PK, 03-ME-602.22) Winter 2024/25 Automata