Edit
Wim Van den Broeck

Wim Van den Broeck

Position

Researcher

Affiliation

E-mail
wim.broeck@uib.no
Visitor address
Allégaten 41
5007 Bergen
Room: 304P2
Postal address
P.O. Box 7803
NO-5020 Bergen
Norway

Wim Van den Broeck

Position

Researcher

Affiliation

Short info

My academic work concerns Symbolic Algorithms; a class of algorithms designed to work with data structures that represent complex combinatorial objects implicitly rather than explicitly. I explore the intersection of Symbolic Algorithms in parametrized complexity, AI, database theory and more.
Outreach

The 39th Annual AAAI Conference on Artificial Intelligence (AAAI) Feb. 2025, Philadelphia, USA

  • Gave both a presentation and a poster presentation on the paper titled "Symbolic Functional Decomposition: A reconfiguration Approach"

33rd International Joint Conference on Artificial Intelligence (IJCAI) Aug. 2024, Jeju, South Korea

  • Gave both a presentation and a poster presentation on the paper titled ”Optimal Extended Formulations from Optimal Dynamic Programming Algorithms”
Publications

Algorithms for Optimizing Acyclic Queries, (Manuscript)

Symbolic Functional Decomposition: A Reconfiguration Approach, (AAAI '25)

Optimal Extended Formulations from Optimal Dynamic Programming Algorithms, (IJCAI '24)

Projects

Symbolic Algorithms for Neuro-Symbolic Artificial Intelligence

Research project conducted at UCLA's StarAI Lab, exploring the use of symbolic data structures for enabling tractable reasoning in AI models.

Jan. 2025 -Jul. 2025