Hi, nice to meet you. I am a Ph.D. student in Computer Science, and my research is about formal methods for efficiently enforcing consistency properties in database systems. I am a member of the Software Languages Lab of the Vrije Universiteit Brussel, where I am advised by Bas Ketsman. Before my PhD, I completed a 7-month internship at IBM's Research Lab in Zürich under the guidance of Peter Staar.

Publications

Peer-Reviewed Conference Papers

Bounding the Makespan of Transaction Schedules

Tim Baccaert, Brecht Vandevoort, Bas Ketsman

ICDT 2026 (A - Core Ranking) 📄 Paper
Distributed Consistency Beyond Queries

Tim Baccaert, Bas Ketsman

PODS 2023 (A* - Core Ranking) 📄 Paper 🛝 Slides

Peer-Reviewed Journal Papers

A Generalized CALM Theorem for Non-Deterministic Computation in Asynchronous Distributed Systems

Tim Baccaert, Bas Ketsman

Information Systems, 2026 📄 Paper
hdt-rs: A Rust Library for the Header Dictionary Triples Binary RDF Compression Format

Konrad Höffner, Tim Baccaert

Journal of Open Source Software, 2023 📄 Paper 💾 Artifact

Patents

Translating a Natural Language Query Into a Formal Data Query

Peter Staar, Michele Dolfi, Christoph Auer, Leonidas Georgopoulos, Aleksandros Sobczyk, Tim Baccaert, Konstantinos Bekas

US Patent, 2021 📜 Patent

Workshop Papers

Cascade: Optimal Transaction Scheduling for High-Contention Workloads

Tim Baccaert, Bas Ketsman

ICDE 2024 - PhD Symposium 📄 Paper

Teaching

Course	Role	Year
Data and Information Management	Teaching Assistant	2022-2024, 2025-2026
Performance Analysis and Evaluation	Teaching Assistant	2024-2025
Advanced Topics in Big Data	Teaching Assistant	2021-2024
Scalable Data Management Systems	Teaching Assistant	2021-2023
Open Information Systems	Teaching Assistant	2021-2022