Jeremias Berg
A Computer Science Researcher in Helsinki, Finland
![prof_pic.jpg](/assets/img/prof_pic.jpg?30a8b818535756e6e562f427ad4fe60c)
Photo by Juuso Koivisto
(As of 1.9.2024) 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.
latest posts
Jul 02, 2024 | Interested in a PhD? |
---|---|
Jun 30, 2024 | Paper Accepted at CP 2024 |
Jun 17, 2024 | Academy Research Fellow |