Scholar
Jeremias Berg
Google Scholar ID: QcaHULQAAAAJ
Academy Research Fellow, University of Helsinki
Citations & Impact
Citations
727
H-index
16
i10-index
23
Publications
20
Co-authors
18
list available
Publications
Resume (English only)
Academic Achievements
- His PhD thesis 'Solving Optimization Problems via Maximum Satisfiability: Encodings and Re-Encodings' was awarded the 2020 ACP-Doctoral Research award; Awarded a Title of Docent in Computer Science from the University of Helsinki in 2022; Supervised a student who won the Best Paper Award at CP.
Research Experience
- Currently an Academy Research Fellow at the Department of Computer Science of the University of Helsinki and a senior member of the Constraint Reasoning and Optimization research group.
Education
- Earned an M.Sc in applied mathematics in 2014 and a PhD in computer science in 2018 from the University of Helsinki. His PhD thesis 'Solving Optimization Problems via Maximum Satisfiability: Encodings and Re-Encodings' was awarded the 2020 ACP-Doctoral Research award. In 2022, he was awarded a Title of Docent in Computer Science from the University of Helsinki.
Background
- A Computer Science Researcher at the University of Helsinki, focusing on declarative, constraint-based approaches and automated reasoning for solving optimization problems. His research lies between theory and practice, aiming to develop the theory underlying constraint paradigms like Maximum Satisfiability, Pseudo-Boolean Optimization, and Constraint Programming, and harness it to create practical and trustworthy tools for solving complex optimization problems.
Miscellany
- The best way to reach him is by e-mail.
