Scholar
Christoph Jabs
Google Scholar ID: f5m-HaQAAAAJ
Doctoral Researcher, University of Helsinki
Citations & Impact
Citations
44
H-index
4
i10-index
1
Publications
17
Co-authors
0
Publications
Resume (English only)
Academic Achievements
- Published papers such as 'Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers'; Developed RustSAT library and Scuttle solver; Participated in BiOptSat project; PB-OLL-RS & Mixed-Bag pseudo-boolean optimization solvers won the 2024 Pseudo-Boolean Competition; Received a scholarship from the German Academic Scholarship Foundation and the Frank Goltermann Award for Bachelor's degree.
Research Experience
- Doctoral researcher, CoReO group, University of Helsinki, 09/2022 – current; Research assistant, CoReO group, University of Helsinki, 05/2021 – 08/2022.
Education
- Master of Science in Computer Science, University of Helsinki, 08/2020 – 06/2022; Bachelor of Engineering in Mechatronics, Reutlingen University, 03/2016 – 02/2020.
Background
- Research Interests: Boolean satisfiability and optimization, multi-objective optimization, declarative problem solving, explainable artificial intelligence, fair data representation. Professional Field: Computer Science.
Miscellany
- Skills: Rust (85%), C++ (80%), Python (pandas, numpy, ...) (80%), Bash (70%), Matlab (30%); Originally from Germany.
Co-authors