Below a list of current members of the group. If you want to know more about some member, follow the link to his personal website or send them an email. Also, if you want to know more about its research, follow the dblp-link for an updated list with all their publications.
Data management, applications of logic in computer science.
Design and analysis of algorithms and data structures, Succinct data structures and Data compression.
Theoretical foundations of data science and data management. Web and social systems.
Efficiency of data management systems. Information extraction, streaming data, graph data. Automata theory, output-sensitive algorithms, computational complexity.
Theoretical foundations of data management and machine learning. Theoretical computer science in general: algorithms, complexity and logic.
Formal explainability, semantic web, modern applications of logic.
Combinatorics, computational complexity.
Theoretical computer science, algorithms, formal languages, computational complexity.
Explainability in AI.
Design and analysis of algorithms.
Automata, AI and data science.
Graph Theory, DBs, ML, FOSS, networking, decentralized computing.
Automata, Logic.
Graph Databases, Worst-Case Join Algorithms, RPQs.
Data management systems, graph databases.
Logic, philosophy of mathematics, philosophy of computing.
Explainability in ML. KG question answering.
RPQs in graph databases, Wikidata.
Automata, Databases.
Evaluation algorithms, data management and logic in computer science.
Spatial data science.
Automata, Databases, Cryptography, Quantum Computing.
Randomized Algorithms, Symmetric Cryptography.
Network science, data science, GNNs, centrality measures.
Natural Language Processing, Politics, Large Language Models.