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

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. Global Benchmark Database
    Iser, Markus, and Jabs, Christoph
    In 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024), vol. 305, pp. 18:1–18:10, 2024
  2. Core Boosting in SAT-Based Multi-objective Optimization
    Jabs, Christoph, Berg, Jeremias, and Järvisalo, Matti
    In Integration of Constraint Programming, Artificial Intelligence, and Operations Research—21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28–31, 2024, Proceedings, Part II, vol. 14743, pp. 1–19, 2024
  3. From Single-Objective to Bi-Objective Maximum Satisfiability Solving
    Jabs, Christoph, Berg, Jeremias, Niskanen, Andreas, and Järvisalo, Matti
    Journal of Artificial Intelligence Research, vol. 80, pp. 1223–1269, Aug, 2024