About me

Hi, my name is Andy! I am a PhD student at Lund University in Lund, Sweden and University of Copenhagen in Copenhagen, Denmark.

On May 29, 2026, I defended my PhD thesis.

PhD in computer science, 2026
Lund University, Sweden
Thesis

MSc in computer science, 2021
University of Technology Chemnitz, Germany
Thesis

Recent Publications

Trimming Pseudo-Boolean Proofs

Berhan Oumer Adame, Bart Bogaerts, Benjamin Bogø, Simon Dold, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Matthew McIlree, Jakob Nordström, Andy Oertel, Adrian Rebola-Pardo, and Mark Turnbull

Submitted
Proof Logging for Projected Enumeration (and Counting?) Problems in VeriPB

Ciaran McCreesh, Jakob Nordström, Andy Oertel, Yong Kiam Tan

32nd International Conference on Principles and Practice of Constraint Programming (CP 2026), 2026

To appear

PDF Code (Glasgow Constraint Solver) Code (VeriPB) Code (CakePB)
End-to-end Certified Graph Colouring

Simon Dold, George Katsirelos, Wietze Koops, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan

32nd International Conference on Principles and Practice of Constraint Programming (CP 2026), 2026

To appear

PDF Experimental Data Code (CertifyingZykovColor) Code (VeriPB) Code (CakePB)
→ Complete list of publications

Proof checker for proof logging methods using pseudo-Boolean reasoning for various combinatorial solving, optimization, and enumeration algorithms.

My \(\LaTeX\) templates for posters, slides and many more.

This toolbox provides functions and data structures to construct and handle ultrametric matrices in Rust and Python.

Python module for sending and receiving 433/315MHz LPD/SRD signals with generic low-cost GPIO RF modules on a Raspberry Pi.