user_image

Christoph Jabs

Postdoctoral Researcher in computer science at the University of Helsinki. Researching constraint solving for inductive logic programming, as well as (multi-objective) constraint optimization. Originally from Germany.

Room: B232, Exactum, University of Helsinki

EXPERIENCE

AWARDS

  • CPAIOR 2026 Best Student Paper Award
  • Scholarship by the German Academic Scholarship Foundation
  • Frank Goltermann Award for Bachelor’s degree

RESEARCH INTERESTS

  • Boolean satisfiability and optimization
  • Multi-objective optimization
  • Declarative problem solving
  • Explainable artificial intelligence
  • Fair data representation

SKILLS

  • Rust

    85%

  • C++

    80%

  • Python (pandas, numpy, ...)

    80%

  • Bash

    70%

  • Matlab

    30%

PROJECTS

RustSAT library architecture diagram

07/2022 – Developing

RustSAT

This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.

10/2022 – Developing

Scuttle

This multi-objective MaxSAT solver is written in Rust and based on the RustSAT library. The algorithm is based on P-minimal model enumeration.

09/2021 – 08/2024

BiOptSat

An algorithm and implementation to find Pareto-optimal solutions to NP-hard bi-objective combinatorial optimization problems encoded in propositional logic.

03/2024 – 08/2024

PB-OLL-RS & Mixed-Bag

Pseudo-boolean optimizaation solvers winning (Mixed-Bag) Pseudo-Boolean Competition 2024

A screenshot of the portfolio page

05/2022

Grape-Theme

A modification of the Grape-Theme for jekyll to be useable as an academic portfolio.

RECENT PUBLICATIONS

[All Publications]
  1. Advances to SAT-Based Multi-Objective Constraint Optimization
    Jabs, Christoph
    PhD thesis, University of Helsinki, 2026
  2. Scuttle: A System for Multi-Objective MaxSAT
    Jabs, Christoph, Berg, Jeremias, and Järvisalo, Matti
    In 29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, Lisbon, Portugal, July 20–23, 2026, vol. 377, pp. 37:1–37:13, 2026
  3. Multi-objective Maximum Satisfiability by Single-objective Implicit Hitting Set Optimization
    Jabs, Christoph, Berg, Jeremias, and Järvisalo, Matti
    In Integration of Constraint Programming, Artificial Intelligence, and Operations Research—23rd International Conference, CPAIOR 2026, Rabat, Morocco, May 26–29, 2026, Proceedings, vol. 16595, pp. 262–279, 2026
    This work has received the CPAIOR 2026 Best Student Paper Award.