user_image

Christoph Jabs

Doctoral Researcher in computer science at the University of Helsinki. Researching declarative (multi-objective) NP-hard optimization in the Constraint Reasoning and Optimization research group supervised by Matti Järvisalo and Jeremias Berg. Originally from Germany.

EXPERIENCE

  • 09/2022 – current

    Doctoral researcher, CoReO group, University of Helsinki

  • 05/2021 – 08/2022

    Research assistant, CoReO group, University of Helsinki

  • 08/2020 – 06/2022

    Master of Science in Computer Science, University of Helsinki

  • 11/2017 – 06/2020

    Various student jobs at Robert Bosch GmbH Reutlingen

  • 03/2016 – 02/2020

    Bachelor of Engineering in Mechatronics, Reutlingen University

AWARDS

  • 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. Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers
    Jabs, Christoph, Berg, Jeremias, and Järvisalo, Matti
    In Logics in Artificial Intelligence—19th European Conference, (JELIA 2025), 2025
    Nominated for Best Student Paper Award
  2. RustSAT: A Library For SAT Solving in Rust
    Jabs, Christoph
    In 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025), vol. 341, pp. 24:1–24:13, 2025
  3. From Scalable SAT to MaxSAT: Massively Parallel Solution Improving Search
    Schreiber, Dominik,  Jabs, Christoph, and Berg, Jeremias
    In Eighteenth International Symposium on Combinatorial Search, SoCS 2025, Glasgow, UK, August 12–15, 2025, 2025