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 – Developing

BiOptSat
An algorithm and implementation to find Pareto-optimal solutions to NP-hard bi-objective combinatorial optimization problems encoded in propositional logic.
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. 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—21th International Conference, (CPAIOR 2024), 2024
  2. Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization
    Jabs, Christoph, Berg, Jeremias, Ihalainen, Hannes, and Järvisalo, Matti
    In 29th International Conference on Principles and Practices of Constraint Programming (CP 2023), vol. 280, pp. 18:1–18:19, 2023
  3. A Maximum Satisfiability Based Approach to Bi-Objective Boolean Optimization
    Jabs, Christoph
    M. Sc. thesis, University of Helsinki, 2022