I am an Assistant Professor in the College of Computing and Data Science at Nanyang Technological University.

My research interests lie in the principles of data management, artificial intelligence, and knowledge representation and reasoning.

Before joining NTU in August 2024, I was a postdoc for two years at the National University of Singapore, hosted by Kuldeep Meel. Prior to coming to Singapore, I graduated with a PhD in Computer Science in 2022 at KU Leuven, supervised by Luc De Raedt and Ondřej Kuželka.

Prospective PhD students, postdocs, and interns: please see the open positions page.

Research

I work on problems that span several areas of computer science, with a common theme of understanding and using tractable representations of knowledge to enable efficient computation.

Topics: knowledge compilation, logic, model counting, randomized algorithms, parameterized complexity, graph algorithms, database theory, probabilistic graphical models, statistical-relational learning.

Recent highlight: Our model counter CoinCount won first place 🥇 in five out of six tracks in the heuristic category at the Model Counting Competition 2026. Joint work with Jiong Yang and Kuldeep Meel. Full paper and source code forthcoming.

Representative publications

  • Approximating Queries on Probabilistic Graphs
    Antoine Amarilli*, Timothy van Bremen*, Octave Gaspard*, and Kuldeep S. Meel*
    Logical Methods in Computer Science · 2025 · DOI · arXiv
    Earlier version appeared at ICDT 2024 and was selected as one of the seven best papers of the conference.
  • Probabilistic Query Evaluation: The Combined FPRAS Landscape
    Timothy van Bremen* and Kuldeep S. Meel*
    PODS · 2023 · PDF · DOI
  • Lifted Inference with Tree Axioms
    Timothy van Bremen and Ondřej Kuželka
    Artificial Intelligence · 2023 · PDF · DOI
    Earlier version appeared at KR 2021 and received runner-up for the Marco Cadoli Best Student Paper award.

* Alphabetical order or equal contribution. View all publications and software →

Research group

PhD students
Wenjie Jiang (August 2024–) · Xiliang Yang (August 2025–)
Postdocs
Xuanxiang Huang (August 2025–)
Visitors
Jiong Yang (May–August 2025)
Interns
Gianmaria Piergianni (July–August 2026) · Juan Guevara, Alberto Heissl, Huynh Dang Vinh Hien, and Magdalena Zlatanova (July–August 2025)

Recent teaching

Course material is available through NTULearn. The list below includes only courses which I (co-)lecture; I also teach tutorials for some courses not listed here.

  • SD6124 Probability and Statistics for Data Science (MSDS Programme) · AY25–26 Semesters 1 and 2
  • SC1003 Introduction to Computational Thinking and Programming · AY24–25 Semester 1, AY25–26 Semester 1, AY26–27 Semester 1
  • SC2301 Algorithm Design and Analysis (Turing AI Scholars Programme) · AY24–25 Semester 2, AY26–27 Semester 1
  • SD6104 Data Preparation (MSDS Programme) · AY24–25 Semester 2