Jeremias Berg

I am a Research Council of Finland post doctoral researcher and an 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.

My research focuses on declarative, constraint-based, approaches and automated reasoning for solving optimization problems. I see my research to lie between theory and practice in that I aim to harness the theory underlying constraint paradigms like Maximum Satisfiability, Pseudo-Boolean Optimization and Constraint Programming toward creating practical tools for solving difficult 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.