Andy Oertel

Software Engineer

Axis Communications

About me

Hi, my name is Andy! I am an Embedded Software Engineer at Axis Communications in Lund, Sweden.

On May 29, 2026, I defended my PhD in Computer Science at Lund University.

Interests

Automated Reasoning
Certifying Algorithms
Combinatorial Optimization
Graph Theory
Operating Systems

Education

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

Formal Methods in Computer-Aided Design 2026 (FMCAD 2026), 2026

To appear

PDF Artefact
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

PDF Experimental Data Code (CertifyingZykovColor) Code (VeriPB) Code (CakePB)
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

PDF Slides Code (Glasgow Constraint Solver) Code (VeriPB) Code (CakePB)
→ 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