Andy Oertel

PhD student

Lund University and University of Copenhagen

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.

I am a member of the Mathematical Insights into Algorithms for Optimization (MIAO) Group led by Jakob Nordström.

At the moment, I am finishing my PhD and will defend my thesis on May 29, 2026.

Interests

Automated Reasoning
Certifying Algorithms
Combinatorial Optimization
Graph Theory

Education

Licentiate in computer science, 2025
Lund University, Sweden
Thesis

MSc in computer science, 2021
TU Chemnitz, Chemnitz, Germany
Thesis

Recent Publications

Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables

Markus Anders, Bart Bogaerts, Benjamin Bogø, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan

40th Annual AAAI Conference on Artificial Intelligence (AAAI-26), 2025

PDF (extended version) Code (satsuma) Code (VeriPB) Code (CakePB)
Practically Feasible Proof Logging for Pseudo-Boolean Optimization

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

31st International Conference on Principles and Practice of Constraint Programming (CP 2025), 2025

PDF Experimental Data
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms

Emir Demirović, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordström, Andy Oertel, Konstantin Sidorov

30th International Conference on Principles and Practice of Constraint Programming (CP 2024), 2024

PDF Software
→ Complete list of publications

Projects

VeriPB

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

\(\LaTeX\) Templates

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

Ultrametric matrix tools

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

Raspberry Pi RF gpiod port

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

Contact

andy.oertel(at)cs.lth.se