Wietze Koops

I am a PhD student in the Mathematical Insights into Algorithms for Optimization (MIAO) group, headed by prof. dr. Jakob Nordström. The MIAO group is based on both sides of the Öresund Bridge at Lund University, Sweden and the University of Copenhagen, Denmark. My research is funded by the Wallenberg AI, Autonomous Systems and Software Program (WASP).

My current research interests include combinatorial optimization and proof logging for combinatorial optimization. In particular, goals include improving existing algorithms and designing new algorithms for pseudo-Boolean solving and pseudo-Boolean optimization, and developing proof logging for such algorithms.

Before coming to Scandinavia, I was an ELLIS Excellence Fellow in the Artificial Intelligence and Formal Methods (AI-FM) group at Radboud University, Nijmegen. Here I was supervised by dr. Sebastian Junges and prof. dr. Nils Jansen. Here I worked on (decentralized) partially observable Markov decision processes (POMDPs) and verification of stochastic dynamical systems.

News

Jun 10, 2025	This website is launched!

Selected publications

CP

Practically Feasible Proof Logging for Pseudo-Boolean Optimization

Wietze Koops, Daniel Le Berre, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan, and Marc Vinyals

In CP, 2025

CAV

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates

Thom Badings, Wietze Koops, Sebastian Junges, and Nils Jansen

In CAV, 2025

arXiv Bib Code

@inproceedings{badings2025PolicyVerification,
  author = {Badings, Thom and Koops, Wietze and Junges, Sebastian and Jansen, Nils},
  title = {Policy Verification in Stochastic Dynamical Systems 
                    Using Logarithmic Neural Certificates},
  booktitle = {{CAV}},
  year = {2025},
  keywords = {reviewed,conference},
}

IJCAI

Approximate Dec-POMDP Solving Using Multi-Agent A*

Wietze Koops, Sebastian Junges, and Nils Jansen

In IJCAI, 2024

arXiv Bib HTML PDF Code

@inproceedings{koops24approximate,
  author = {Koops, Wietze and Junges, Sebastian and Jansen, Nils},
  title = {Approximate {Dec-POMDP} Solving Using Multi-Agent {A*}},
  booktitle = {{IJCAI}},
  pages = {6743--6751},
  year = {2024},
  keywords = {reviewed,conference},
}