Jeremias Berg

A Computer Science Researcher in Helsinki, Finland


Photo by Juuso Koivisto

I am a Research Council of Finland post-doctoral researcher and a university lecturer at the Department of Computer Science of the University of Helsinki and a senior member of the Constraint Reasoning and Optimization research group. As of 1.9.2024, my position will change to that of an Academy Research Fellow.

My research focuses on declarative, constraint-based approaches and automated reasoning for solving optimization problems. It lies between theory and practice. I aim to build the fundamental understanding of the theory underlying constraint paradigms like Maximum Satisfiability, Pseudo-Boolean Optimization, and Constraint Programming and harness it to create practical tools for solving complex optimization problems.

I got my M.Sc in applied mathematics in 2014 and defended my PhD in computer science in 2018, both from the University of Helsinki. My PhD-thesis Solving Optimization Problems via Maximum Satisfiability : Encodings and Re-Encodings, was awarded the 2020 ACP-Doctoral Research award. In 2022, I was awarded a Title of Docent in Computer Science from the University of Helsinki.

latest posts