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

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

    Overviewing my PhD project in general

    [Slides]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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 research intern (Summer 2025)

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

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