user_image

Christoph Jabs

Doctoral Researcher in computer science at the University of Helsinki. Researching exact (multi-objective) 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 Golterman Award for Bachelor's degree

RESEARCH INTERESTS

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

SKILLS

  • C++

    80%
  • Rust

    70%
  • Python (pandas, numpy, ...)

    85%
  • Bash

    60%
  • Matlab

    40%

PROJECTS

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. A Maximum Satisfiability Based Approach to Bi-Objective Boolean Optimization
    Jabs, Christoph
    M. Sc. thesis, University of Helsinki, 2022
  2. MaxSAT-Based Bi-Objective Boolean Optimization
    In 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), Haifa, Israel, August 2–5, 2022, vol. 236, pp. 12:1–12:23, 2022
  3. A Recurrent Neural Net Approach to Activity Recognition
    Jabs, Christoph
    B. Eng. thesis, Reutlingen University, 2020