Jeremias Berg

I am a 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.

My research focuses on declarative, constraint-based approaches and automated reasoning for solving optimization problems. It lies between theory and practice. I aim 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.

I earned an M.Sc in applied mathematics in 2014 and a PhD in computer science in 2018 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.