Presentations & Teaching

Presentations

  1. Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers at JELIA'25 (09/2025)

    Presentation to go with the paper with the same title

  2. RustSAT: A Library For SAT Solving in Rust at SAT'25 (08/2025)

    Presentation to go with the paper with the same title

  3. 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

  4. Certifying Pareto Optimality in Multi-objective Maximum Satisfiability at TACAS'25 (05/2025)

    Presentation to go with the paper with the same title

  5. Multi-Objective MaxSAT Solving at Research Visist at Vrije Universiteit Brussels (08/2024)

    Overviewing my PhD project in general

  6. Core Boosting in SAT-Based Multi-Objective Optimization at CPAIOR'24 (05/2024)

    Presentation to go with the paper with the same title

  7. From Single-Objective to Multi-Objective MaxSAT Solving at CPAIOR'24 (05/2024)

    Extended abstract and poster presentation about the BiOptSat algorithm

  8. Preprocessing for SAT-Based Multi-Objective Combinatorial Optimization at CP'23 (08/2023)

    Presentation to go with the paper with the same title

  9. Bi-Objective MaxSAT and the BiOptSat Algorithm at MIAO Seminar (12/2022)

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

  10. MaxSAT-Based Bi-Objective Boolean Optimization at SAT'22 @ FLoC '22 (08/2022)

    Presentation to go with the paper with the same title


Teaching

  1. Supervision of research intern (Summer 2025)

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

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