Conference on Current Trends in Theory and Practice of Informatics · 2023
Cited
0
Resume (English only)
Background
Research interests include Algorithmic Graph Structure Theory, especially the theory of sparse and structurally sparse graphs
Focuses on logical methods in computer science, particularly first-order model-checking, query evaluation, enumeration, and counting
Applies stability theory in finite structures
Aims to design efficient algorithms for graph problems on the most general graph classes, with emphasis on bounded expansion and nowhere dense graph classes
With Martin Grohe and Stephan Kreutzer, proved that first-order model-checking is fixed-parameter tractable on nowhere dense graph classes