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. 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
  2. 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
  3. Certifying Pareto Optimality in Multi-objective Maximum Satisfiability
    Jabs, Christoph, Berg, Jeremias, Bogaerts, Bart, and Järvisalo, Matti
    In Tools and Algorithms for the Construction and Analysis of Systems —31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II, vol. 15697, pp. 108–129, 2025