Presentations & Teaching

Presentations

1. Advances to SAT-Based Multi-Objective Constraint Optimization at PhD defence (09/2026)

   Lectio Praecursoria at my PhD defence.

   [Slides] [Recording] [All Information]
2. Certifying Pareto Optimality in Multi-Objective Maximum Satisfiability at HALT'26 (08/2026)

   Presentation at Helsinki Algorithm and Theory Days 2026 about our TACAS’25 paper on multi-objective proof logging.

   [Slides] [All Information]
3. Scuttle: A System for Multi-Objective MaxSAT at SAT'26 @ FLoC'26 (07/2026)

   Presentation to go with the paper with the same title

   [Slides] [All Information]
4. Multi-objective Maximum Satisfiability by Single-objective Implicit Hitting Set Optimization at CPAIOR'26 (05/2026)

   Presentation to go with the paper with the same title

   [Slides] [All Information]
5. Multi-Objective Optimization: A Pseudo-Boolean Perspective at Dagstuhl Seminar: Interactions in Constraint Optimization (09/2025)

   Presentation about our JELIA’25 paper and multi-objective optimization in general

   [Slides] [All Information]
6. Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers at JELIA'25 (09/2025)

   Presentation to go with the paper with the same title

   [Slides] [All Information]
7. RustSAT: A Library For SAT Solving in Rust at SAT'25 (08/2025)

   Presentation to go with the paper with the same title

   [Slides] [All Information]
8. Certifying Pareto Optimality in Multi-objective Maximum Satisfiability at PoS'25 (08/2025)

   Presentation of the paper published at TACAS at the Pragmatics of SAT workshop

   [Slides] [All Information]
9. Certifying Pareto Optimality in Multi-objective Maximum Satisfiability at TACAS'25 (05/2025)

   Presentation to go with the paper with the same title

   [Slides] [All Information]
10. Multi-Objective MaxSAT Solving at Research Visist at Vrije Universiteit Brussels (08/2024)

    Overviewing my PhD project in general

    [Slides]
11. Core Boosting in SAT-Based Multi-Objective Optimization at CPAIOR'24 (05/2024)

    Presentation to go with the paper with the same title

    [Slides] [All Information]
12. From Single-Objective to Multi-Objective MaxSAT Solving at CPAIOR'24 (05/2024)

    Extended abstract and poster presentation about the BiOptSat algorithm

    [Poster] [All Information]
13. Preprocessing for SAT-Based Multi-Objective Combinatorial Optimization at CP'23 (08/2023)

    Presentation to go with the paper with the same title

    [Slides] [Poster] [All Information]
14. Bi-Objective MaxSAT and the BiOptSat Algorithm at MIAO Seminar (12/2022)

    Presentation during a research visit, mainly about our SAT’22 paper

    [Slides] [Recording] [All Information]
15. MaxSAT-Based Bi-Objective Boolean Optimization at SAT'22 @ FLoC '22 (08/2022)

    Presentation to go with the paper with the same title

    [Slides] [All Information]

Teaching

1. Supervision of two Bachelor's theses (Fall 2025)

2. Supervision of research intern (Summer 2025)

3. Teaching assistant for "Combinatorial Optimization" (Fall 2024)

   Planning and leading of exercise sessions, and grading of assignments.