Logic in Computer Science, Finite Model Theory, Structural and Algorithmic Graph Theory, Parameterized Complexity